4491 search results - page 227 / 899 » Algorithm Engineering |
118
click to vote
ARCS
2006
Springer
15 years 6 months ago
2006
Springer
State-of-the-art technologies in very large scale integration (VLSI) allow for the realization of gates with varying energy consumptions and hence delays (i.e., processing speeds) ...
127
Voted
ICSE
2004
IEEE-ACM
16 years 2 months ago
2004
IEEE-ACM
We describe an efficient decentralized monitoring algorithm that monitors a distributed program's execution to check for violations of safety properties. The monitoring is ba...
195
Voted
DAGSTUHL
2011
14 years 2 months ago
2011
We present a data-level comparative visualization system that utilizes two key pieces of technology: (1) cross-mesh field evaluation – algorithms to evaluate a field from one ...
117
Voted
UIST
2006
ACM
15 years 8 months ago
2006
ACM
NP-hard combinatorial optimization problems are common in real life. Due to their intractability, local search algorithms are often used to solve such problems. Since these algori...
151
Voted
FASE
2011
Springer
14 years 6 months ago
2011
Springer
Given a program and an assertion in that program, determining if the assertion can fail is one of the key applications of program analysis. Symbolic execution is a well-known techn...