1180 search results - page 47 / 236 » Total Functional Software Engineering - Overview Paper |
106
click to vote
SENSYS
2006
ACM
15 years 6 months ago
2006
ACM
Recent gains in energy-efficiency of new-generation NAND flash storage have strengthened the case for in-network storage by data-centric sensor network applications. This paper ...
100
click to vote
UIST
2010
ACM
14 years 10 months ago
2010
ACM
Tabletop applications cannot display more than a few dozen on-screen objects. The reason is their limited size: tables cannot become larger than arm's length without giving u...
91
Voted
TCAD
2010
14 years 7 months ago
2010
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
110
Voted
VMCAI
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
104
Voted
QSIC
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper presents a practical path and context sensitive inter-procedural analysis method for detecting memory leaks in C programs. A novel memory object model and function summ...