Sciweavers

1594 search results - page 198 / 319
» Visualizing Program Executions on Large Data Sets
Sort
View
144
Voted
ECOOP
2012
Springer
13 years 5 months ago
Static Detection of Loop-Invariant Data Structures
As a culture, object-orientation encourages programmers to create objects, both short- and long-lived, without concern for cost. Excessive object creation and initialization can ca...
Guoqing (Harry) Xu, Dacong Yan, Atanas Rountev
ICPP
2005
IEEE
15 years 9 months ago
Filter Decomposition for Supporting Coarse-Grained Pipelined Parallelism
We consider the filter decomposition problem in supporting coarse-grained pipelined parallelism. This form of parallelism is suitable for data-driven applications in scenarios wh...
Wei Du, Gagan Agrawal
FIMH
2005
Springer
15 years 9 months ago
Supporting the TECAB Grafting Through CT Based Analysis of Coronary Arteries
Calcified coronary arteries can cause severe cardiac problems and may provoke an infarction of the heart’s wall. An established treatment method is the bypass operation. The usa...
Stefan Wesarg
123
Voted
DATE
2008
IEEE
122views Hardware» more  DATE 2008»
15 years 10 months ago
Simulation-Directed Invariant Mining for Software Verification
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
Xueqi Cheng, Michael S. Hsiao
ICCAD
1994
IEEE
105views Hardware» more  ICCAD 1994»
15 years 7 months ago
Register assignment through resource classification for ASIP microcode generation
Application Specific Instruction-Set Processors (ASIPs) offer designers the ability for high-speed data and control processing with the added flexibility needed for late design sp...
Clifford Liem, Trevor C. May, Pierre G. Paulin