Sciweavers

1305 search results - page 173 / 261
» The design context of concurrent computation systems
Sort
View
DATE
2002
IEEE
123views Hardware» more  DATE 2002»
15 years 11 months ago
False Path Elimination in Quasi-Static Scheduling
We have developed a technique to compute a Quasi Static Schedule of a concurrent specification for the software partition of an embedded system. Previous work did not take into a...
G. Arrigoni, L. Duchini, Claudio Passerone, Lucian...
CHI
2009
ACM
16 years 7 months ago
SiteLens: situated visualization techniques for urban site visits
Urban designers and urban planners often conduct site visits prior to a design activity to search for patterns or better understand existing conditions. We introduce SiteLens, an ...
Sean White, Steven Feiner
AUTOMOTIVEUI
2009
ACM
16 years 1 months ago
Usability evaluation of a Volkswagen Group in-vehicle speech system
Driving behavior has been trending towards more time in the car and longer commutes. This has fueled the demand for an increasing number of in-vehicle infotainment features, at th...
Jackie C. Chang, Annie Lien, Brian Lathrop, Holger...
IPPS
2008
IEEE
16 years 27 days ago
Scaling alltoall collective on multi-core systems
MPI Alltoall is one of the most communication intense collective operation used in many parallel applications. Recently, the supercomputing arena has witnessed phenomenal growth o...
Rahul Kumar, Amith R. Mamidala, Dhabaleswar K. Pan...
ISCA
2011
IEEE
269views Hardware» more  ISCA 2011»
14 years 10 months ago
Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
Mohit Tiwari, Jason Oberg, Xun Li 0001, Jonathan V...