4536 search results - page 70 / 908 » Contention-Sensitive Data Structures and Algorithms |
SIGSOFT
2006
ACM
14 years 3 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
FCCM
2000
IEEE
14 years 1 months ago
2000
IEEE
Mapping computations written in high-level programming languages to FPGA-based computing engines requires programmers to generate the datapath responsible for the core of the comp...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— Network reconstruction, i.e., obtaining network structure from data, is a central theme in systems biology, economics, and engineering. Previous work introduced dynamical struc...
ACSC
2006
IEEE
14 years 3 months ago
2006
IEEE
Visual data mining has been established to effectively analyze large, complex numerical data sets. Especially, the extraction and visualization of inherent structures such as hie...
SIGMOD
2009
ACM
14 years 9 months ago
2009
ACM
Empowering users to access databases using simple keywords can relieve the users from the steep learning curve of mastering a structured query language and understanding complex a...