2881 search results - page 482 / 577 » Model Checking for Programming Languages using Verisoft |
144
click to vote
APSEC
2008
IEEE
15 years 11 months ago
2008
IEEE
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
133
Voted
DAC
2005
ACM
15 years 6 months ago
2005
ACM
This paper proposes a rapid and accurate evaluation scheme for cycle counts of a pipelined processor using evaluation reuse technique. Since exploration of an optimal processor is...
141
click to vote
CPHYSICS
2007
15 years 4 months ago
2007
During the last decade, several quantum information protocols, such as quantum key distribution, teleportation or quantum computation, have attracted a lot of interest. Despite th...
251
click to vote
ECOOP
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. It is common for large-scale Java applications to suffer memory problems, whether inefficient designs that impede scalability, or lifetime bugs such as leaks. Making sens...
141
click to vote
SOSP
2009
ACM
16 years 1 months ago
2009
ACM
Fabric is a new system and language for building secure distributed information systems. It is a decentralized system that allows heterogeneous network nodes to securely share bot...