3256 search results - page 506 / 652 » Applications of Formal Methods to System Design and Verifica... |
PERVASIVE
2005
Springer
15 years 3 months ago
2005
Springer
Physical browsing is a mobile-device-based interaction method for pervasive computing. In this paper, we describe our research interests and experiences of physical browsing: the ...
ACMACE
2006
ACM
15 years 4 months ago
2006
ACM
Mosaic Textile is a wearable ambient display using nonemissive color-changing textiles. The system consists of textile modules, their controllers and substrate fabric. The textile...
105
click to vote
JCB
2006
14 years 10 months ago
2006
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...
122
click to vote
PLDI
2003
ACM
15 years 3 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
DFT
2005
IEEE
15 years 3 months ago
2005
IEEE
Data flow graph dominant designs, such as communication video and audio applications, are common in today’s IC industry. In these designs, the datapath resources (e.g., adders,...