local ballot issues pro/con from LWV for Boulder County, Colorado

local issues:

http://lwvbc.org/2014BoulderCountyAreaBallotIssues.html

County and other issues:

http://lwvbc.org/

State:

http://lwvcolorado.org/ballot-issues.html

Cheers,

Connie 

MileHiCon costume contest, cute fox (?) won best in show, yes the fairy is a man (also a winner)

MileHiCon costume contest, audience view

SystemC & TLM-2.0 Free Training: How to be Successful - thanks to Doulos!

Register now for this FREE online training event View this email in a web page FREE Online Training Invitation LAST CHANCE TO REGISTER The Keys to SystemC & TLM-2.0: How to be Successful Format: Live online training Date: Friday October 31st, 2014 Duration: 1 hour (with live Q&A) Presenter: David C BlackCost: FREE!  Schedule: All time zones covered SystemC has become well-established as the language of choice for system modeling and virtual platform creation and integration, and is now being applied successfully for high level synthesis. SystemC models also frequently appear as reference models in the hardware verification flow.This session is aimed at hands-on hardware or software engineers who might know Verilog or C but have no previous experience of SystemC. Full description: The Keys to SystemC & TLM-2.0: How to be Successful Schedule and Registration: Friday October 31st: For Europe and Asia Time: 11am-12pm (GMT - UK) 12pm-1pm (CET)  4.30pm-5.30pm (IST) Friday October 31st: For North America (also Europe if late afternoon preferred) Time: 11am-12pm (PDT)  1pm-2pm (CDT)  2pm-3pm (EDT)  6pm-7pm (GMT - UK) Want to find out more about Doulos first? Check out: www.doulos.com.  Ready for full scope training?  Check out the leading training programs from Doulos  Full Doulos training schedule

www.doulos.com/content/email/1410_the_key_to_systemC_LastChance.html

What if Age Is Nothing but a Mind-Set?

From The New York Times:

What if Age Is Nothing but a Mind-Set?

Ellen Langer's experiments have shown that mental attitudes might reverse some ravages of old age. Now she wants to test that same radical principle on cancer.

http://www.nytimes.com/2014/10/26/magazine/what-if-age-is-nothing-but-a-mind-set.html

--

Cheers,

Connie O'Dell

odellconnie@gmail.com

720-260-4442

Best Animated movies, panel milehicon

tangled

Allegro non troppo

Akira 

Fantastic planet

triplets of Belleville

The illusionist 

Summer wars

Wizards - bakshi

Bugs bunny & Warner bros: one froggy evening, duck amuck, feed the kitty

50th anniversary Warner brothers special

Spirited away

Millennium actress

Wall-e

Pixar shorts, esp la Luna

The wrong trousers - Wallace & grommit

Town called panic, imperfect but interesting

Despicable me

Project a-ko

Aladdin

Emperor's new groove

Paprika

--

Cheers,

Connie O'Dell

odellconnie@gmail.com

720-260-4442

Should I have returned the job offer? - thanks to Nick Corcodilos !

Augggh - Learn from other people's mistakes, don't do it!  Very interesting article and discussion, at:



Ask The Headhunter® | Nick Corcodilos – Should I have returned the job offer?

Computer help for new computer users

Hi,

   This is an attempt to provide very basic and interesting information for new computer users from the senior community and very casual computer users, just to give you an idea what can be done most easily, and might be most valuable to you.

Once you have learned basic computer usage, interesting websites (to use these, put the pointer over the underlined blue text, then click the left mouse button):

http://www.teachparentstech.org/watch

google.com

youtube.com

hulu.com

facebook.com

http://www.dailycamera.com/

http://www.seniorsforliving.com/blog/2011/03/10/top-100-senior-boomer-blogs-websites/

Feel free to suggest extra websites that would be of interest !

Cheers,

Connie O'Dell

odellconnie@gmail.com

720-260-4442

Which Airline Has the Most Legroom? A Complete Guide, thanks to Conde-Nast Traveler

http://www.cntraveler.com/stories/2014-09-18/which-airline-has-the-most-legroom-a-complete-guide#

Robert Kurshan et al on Formal Verification, San Jose, Oct. 23 (11:45 AM-3:30 PM), Decoding Formal Club Anniversary Event | Oski Technology | Formal Verification Methodology

Robert Kurshan | Oski Technology | Formal Verification Methodology



A neat event to attend for anyone in the Verification field, esp. if you are in or around San Jose.

If you go, say hi to (Bob) K. for me! - Connie



"Oski Technology takes pride in helping our customers reach success through formal application and adoption. In 2013, Oski created the industry-wide Decoding Formal Club, with the goal to share formal knowledge and experience. Thus far the Club has been a lively forum for talks on formal sign-off methodology, achieving sign-off with bounded proof or abstraction models and building a formal test plan for sign-off.

The next Decoding Formal Club meeting will be held on Thursday, October 23, at the Computer History museum.  Synopsys is sponsoring this event.

• Vigyan Singhal will present another important topic related to formal sign-off ––End-to-End checkers. The presentation will explain what they are, and how to write them efficiently to achieve formal sign-off.
• Syed Suhaib, CPU and Tegra formal verification team manager at NVIDIA, will share insights on his team’s real-world formal experience in verifying the recently announced NVIDIA Denver CPU.
• Robert Kurshan, a noted formal verification pioneer, will talk about formal verification of cache coherence. He will cover its history and discuss actual requirements and practical options for verifying memory consistency using a model checker.

We hope you can join us for insightful talks, “formal” networking, museum tours, gifts and Indian food to celebrate Diwali. By joining us, you will be another step closer to success.

Pre-registration is required. To register, please visit: http://tiny.cc/ea6zmx"

Free Webinars: Easier/More Productive UVM, and SystemC/TLM-2.0, thanks to Doulos!

Register now for this FREE online training event View this email in a web page FREE Online Training Invitation LAST CHANCE TO REGISTER Easier UVM - Making Verification Methodology More Productive Format: Webinar Date: Friday October 17th, 2014 Duration: 1 hour (with live Q&A) Presenter: John Aynsley Cost: FREE! Schedule: All time zones covered In this webinar we give a short introduction to UVM, the Universal Verification Methodology for SystemVerilog, by taking advantage of Easier UVM, a set of coding guidelines and a code generator that creates UVM code compliant to those guidelines. Easier UVM is an effective way of learning and adopting UVM, and furthermore the Easier UVM guidelines and code generator are freely available for use. Easier UVM was created to help individuals and project teams learn and then become productive with UVM as quickly as possible. Full description: Easier UVM - Making Verification Methodology more Productive Schedule and Registration: Friday October 17th: For Europe and Asia Time: 10am-11am (BST - UK) 11am-12pm (CEST) 2.30pm-3.30pm (IST) Friday October 17th: For North America (also Europe if late afternoon preferred) Time: 10am-11am (PDT) 11am-12pm (CDT) 1pm-2pm (EDT) 6pm-7pm (BST - UK) Want to find out more about Doulos first? Check out: www.doulos.com. Ready for full scope training? Check out the leading training programs from Doulos Full Doulos training schedule Upcoming Webinar in October The Keys to SystemC & TLM-2.0: How to be Successful Date: Friday October 31st, 2014 Presenter: David C Black Cost: FREE! Summary: This webinar provides and introduction to SystemC, its best uses in the contexts of system modeling, hardware synthesis, and hardware verification and what you need to know to be successful using it. Find out about this webinar and register  follow on Twitter | follow on LinkedIn | forward to a friend  Copyright © 2014 Doulos, All rights reserved. Please add doulos@email.doulos.com to your address book Doulos · 2055 Gateway Place · Suite 220 · San Jose, CA 95110 · USA