2572 search results - page 231 / 515 » codes 2008 |
175
click to vote
IISWC
2008
IEEE
15 years 11 months ago
2008
IEEE
Dynamic binary translation systems enable a wide range of applications such as program instrumentation, optimization, and security. DBTs use a software code cache to store previou...
144
click to vote
IADIS
2004
15 years 6 months ago
2004
Currently providing such features in mobile applications as the sending of lower-bandwidth images when a client device is in a low-bandwidth access area, the business logic to dis...
168
click to vote
WCET
2003
15 years 6 months ago
2003
Worst-Case Execution Time (WCET) analysis means to compute a safe upper bound to the execution time of a piece of code. Parametric WCET analysis yields symbolic upper bounds: expr...
121
click to vote
AML
2008
15 years 5 months ago
2008
In this paper we study the idea of theories with containers, like sets, pairs, sequences. We provide a modest framework to study such theories. We prove two concrete results. Firs...
137
click to vote
SCP
2008
15 years 5 months ago
2008
Programmers working on large software systems are faced with an extremely complex, information-rich environment. To help navigate through this, modern development environments all...