2367 search results - page 383 / 474 » Harvesting design for an application framework |
ICCAD
1994
IEEE
15 years 2 months ago
1994
IEEE
A simple extension of the critical path method is presented which allows more accurate optimization of circuits with level-sensitive latches. The extended formulation provides a s...
PVLDB
2010
14 years 8 months ago
2010
Detecting outliers in data is an important problem with interesting applications in a myriad of domains ranging from data cleaning to financial fraud detection and from network i...
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
CACM
1999
14 years 9 months ago
1999
ion suffices ("decide which type you want and provide a full set of operations for each type"). If the application domain is, say, the administration of a university, the...
162
click to vote
GIS
2005
ACM
15 years 11 months ago
2005
ACM
The management of moving objects has been intensively studied in the recent years. A wide and increasing range of database applications has to deal with spatial objects whose posi...