901 search results - page 113 / 181 » Engineering Emergence |
116
click to vote
SC
2004
ACM
15 years 7 months ago
2004
ACM
: Legend says that Archimedes remarked, on the discovery of the lever, “Give me a place to stand, and I can move the world.” Today, computing pervades all aspects of science an...
134
click to vote
AOSD
2009
ACM
15 years 9 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
126
Voted
SSDBM
2007
IEEE
15 years 8 months ago
2007
IEEE
Location-based information contained in publicly available GIS databases is invaluable for many applications such as disaster response, national infrastructure protection, crime a...
144
click to vote
ICCAD
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
150
click to vote
SIGSOFT
2010
ACM
15 years 7 days ago
2010
ACM
The transfer of entire projects to offshore locations, the aging and renewal of core developers in legacy products, the recruiting in fast growing Internet companies, and the part...