Sciweavers

1040 search results - page 114 / 208
» Resource Usage Verification
Sort
View
CICLING
2006
Springer
15 years 7 months ago
Unsupervised Learning of Verb Argument Structures
We present a statistical generative model for unsupervised learning of verb argument structures. The model was used to automatically induce the argument structures for the 1,500 mo...
Thiago Alexandre Salgueiro Pardo, Daniel Marcu, Ma...
FMCO
2006
Springer
123views Formal Methods» more  FMCO 2006»
15 years 7 months ago
Exhaustive Testing of Exception Handlers with Enforcer
Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initi...
Cyrille Artho, Armin Biere, Shinichi Honiden
WSC
2008
15 years 5 months ago
Modeling and simulation of multinational intra-theatre logistics distribution
Multinational logistics cooperation is essential for reducing the collective logistics footprint, optimizing resource usage and enhancing interoperability in military operations. ...
Ahmed Ghanmi, Gregory B. Campbell, Thomas A. Gibbo...
118
Voted
EUC
2008
Springer
15 years 5 months ago
Reducing Context Switch Overhead with Compiler-Assisted Threading
Multithreading is an important software modularization technique. However, it can incur substantial overheads, especially in processors where the amount of architecturally visible...
Pekka Jääskeläinen, Pertti Kellom&a...
133
Voted
FPL
2008
Springer
138views Hardware» more  FPL 2008»
15 years 4 months ago
An efficient run-time router for connecting modules in FPGAS
It is often desirable to change the logic and/or the connections within an FPGA design on-the-fly without the benefit of a workstation or vendor CAD software. This paper presents ...
Jorge Surís, Cameron Patterson, Peter Athan...