2214 search results - page 159 / 443 » Complexity of Reasoning |
128
Voted
CSL
2004
Springer
15 years 9 months ago
2004
Springer
To reason effectively about programs, it is important to have some version of a transitive-closure operator so that we can describe such notions as the set of nodes reachable from ...
232
Voted
ICDE
2008
IEEE
16 years 4 months ago
2008
IEEE
The development of sensors capable of obtaining 3D scans of crime scenes is revolutionizing the ways in which crime scenes can be analyzed and at the same time is driving the need ...
106
click to vote
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Electronic design automation is a field replete with challenging ? and often intractable ? problems to be solved over very large instances. As a result, the field of design automa...
121
Voted
TOOLS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. Virtual machines (VMs) emulating hardware devices are generally implemented in low-level languages for performance reasons. This results in unmaintainable systems that ar...
143
Voted
ECRTS
2006
IEEE
15 years 9 months ago
2006
IEEE
System robustness is a major concern in the design of efficient and reliable state-of-the-art heterogenous embedded real-time systems. Due to complex component interactions, reso...