359 search results - page 68 / 72 » Reachability for Continuous and Hybrid Systems |
ICFP
2003
ACM
14 years 10 months ago
2003
ACM
Functional Reactive Programming (FRP) is a framework for reactive programming in a functional setting. FRP has been applied to a number of domains, such as graphical animation, gr...
MOBISYS
2006
ACM
14 years 9 months ago
2006
ACM
We introduce a novel infrastructure supporting automatic updates for dynamic content browsing on resource constrained mobile devices. Currently, the client is forced to continuous...
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
By violating MAC-layer protocols, the jamming attack aims at blocking successful communication among wireless nodes. Wireless sensor networks (WSNs) are highly vulnerable to jammi...
DSD
2002
IEEE
14 years 3 months ago
2002
IEEE
Continuing VLSI technology scaling raises several deep submicron (DSM) problems like relatively slow interconnect, power dissipation and distribution, and signal integrity. Those ...
SOSP
2005
ACM
14 years 7 months ago
2005
ACM
Energy consumption has become an important issue in high-end data centers, and disk arrays are one of the largest energy consumers within them. Although several attempts have been...