16666 search results - page 3142 / 3334 » Descriptive and Computational Complexity |
176
click to vote
DAC
2010
ACM
15 years 8 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
131
Voted
CHI
2009
ACM
15 years 8 months ago
2009
ACM
We conducted a field-based study examining informal nursing information. We examined the use of this information before and after the adoption of a CPOE (Computerized Provider Ord...
125
click to vote
HAPTICS
2009
IEEE
15 years 8 months ago
2009
IEEE
Within the HapCath - haptic catheter - project an assistive system for interventional catheterizations has been developed. Conventional navigation during catheterization is done b...
183
click to vote
MOBISYS
2010
ACM
15 years 7 months ago
2010
ACM
Mobile phones are becoming increasingly sophisticated with a rich set of on-board sensors and ubiquitous wireless connectivity. However, the ability to fully exploit the sensing c...
146
click to vote
FAST
2008
15 years 7 months ago
2008
Ever-increasing complexity of large-scale applications and continuous increases in sizes of the data they process make the problem of maximizing performance of such applications a...