19003 search results - page 223 / 3801 » We Need Assurance! |
ENTCS
2007
13 years 10 months ago
2007
We give a uniform type-systematic account of a number of optimizations and the underlying analyses for a bytecode-like stack-based low-level language, including analysis soundness...
PERCOM
2010
ACM
13 years 9 months ago
2010
ACM
—When emergency services are in a crisis situation, one of their major needs is to have efficient communication. Every person involved needs to have the most up-to-date and rele...
ISEUD
2009
Springer
14 years 5 months ago
2009
Springer
Companies are operating in a dynamic environment, resulting in a continuous need of adapting used information systems to changing business processes and associated information need...
IPL
2008
13 years 10 months ago
2008
We define and solve a simple extension of the ski-rental problem [4]. In the classical version, the algorithm needs to decide when to switch from renting to buying. In our version...
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 ...