Sciweavers

2595 search results - page 195 / 519
» Modes in Asynchronous Systems
Sort
View
128
Voted
ENTCS
2008
99views more  ENTCS 2008»
15 years 5 months ago
Specifying Properties of Concurrent Computations in CLF
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concu...
Kevin Watkins, Iliano Cervesato, Frank Pfenning, D...
ICBA
2004
Springer
205views Biometrics» more  ICBA 2004»
15 years 10 months ago
Combining Fingerprint and Voiceprint Biometrics for Identity Verification: an Experimental Comparison
Combining multiple biometrics may enhance the performance of personal authentication system in accuracy and reliability. In this paper, we compare 13 combination methods in the con...
Yuan Wang, Yunhong Wang, Tieniu Tan
MOBIQUITOUS
2007
IEEE
15 years 11 months ago
Battery-Aware Embedded GPS Receiver Node
—This paper discusses the design and implementation of an ultra low power embedded GPS receiver node for use in remote monitoring situations where battery life is of the utmost i...
Dejan Raskovic, David Giessel
146
Voted
NOSSDAV
2004
Springer
15 years 10 months ago
Client-centered energy savings for concurrent HTTP connections
—In mobile devices, the wireless network interface card (WNIC) consumes a significant portion of overall system energy. One way to reduce energy consumed by a WNIC is to transit...
Haijin Yan, Rupa Krishnan, Scott A. Watterson, Dav...
DAC
2000
ACM
16 years 6 months ago
Memory aware compilation through accurate timing extraction
Memory delays represent a major bottleneck in embedded systems performance. Newer memory modules exhibiting efficient access modes (e.g., page-, burst-mode) partly alleviate this ...
Peter Grun, Nikil D. Dutt, Alexandru Nicolau