Sciweavers

3218 search results - page 344 / 644
» Timed Extensions for SDL
Sort
View
CIKM
1997
Springer
15 years 10 months ago
Block Addressing Indices for Approximate Text Retrieval
Although the issue of approximate text retrieval is gaining importance in the last years, it is currently addressed by only a few indexing schemes. To reduce space requirements, t...
Ricardo A. Baeza-Yates, Gonzalo Navarro
ICCAD
1996
IEEE
122views Hardware» more  ICCAD 1996»
15 years 10 months ago
Analytical delay models for VLSI interconnects under ramp input
Elmore delay has been widely used as an analytical estimate of interconnect delays in the performance-driven synthesis and layout of VLSI routing topologies. However,for typical R...
Andrew B. Kahng, Kei Masuko, Sudhakar Muddu
SIGMETRICS
1994
ACM
113views Hardware» more  SIGMETRICS 1994»
15 years 10 months ago
Shade: A Fast Instruction-Set Simulator for Execution Profiling
Shade is an instruction-set simulator and custom trace generator. Application programs are executed and traced under the control of a user-supplied trace analyzer. To reduce commu...
Robert F. Cmelik, David Keppel
AINA
2009
IEEE
15 years 10 months ago
Brain Image Registration Analysis Workflow for fMRI Studies on Global Grids
Scientific applications like neuroscience data analysis are usually compute and data-intensive. With the use of the additional capacity offered by distributed resources and suitab...
Suraj Pandey, William Voorsluys, Mustafizur Rahman...
CONCUR
2007
Springer
15 years 10 months ago
Temporal Antecedent Failure: Refining Vacuity
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
Shoham Ben-David, Dana Fisman, Sitvanit Ruah