9182 search results - page 1630 / 1837 » Requirements for Requirements Management Tools |
200
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
158
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
ite Web service designed based on abstract Web services, which deļ¬ne only interfaces, allows an application developer to select services required for his application only by set...
183
click to vote
EUROSYS
2010
ACM
16 years 3 months ago
2010
ACM
This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driverā...
174
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
Heat dissipation is one of the most serious challenges in 3D IC designs. One eļ¬ective way of reducing circuit temperature is to introduce thermal through-the-silicon (TTS) vias....
164
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...