Sciweavers

Share
1755 search results - page 2 / 351
» An efficient simulation algorithm based on abstract interpre...
Sort
View
TOPLAS
2008
138views more  TOPLAS 2008»
11 years 1 months ago
Decomposing bytecode verification by abstract interpretation
act Interpretation C. BERNARDESCHI, N. DE FRANCESCO, G. LETTIERI, L. MARTINI, and P. MASCI Universit`a di Pisa Bytecode verification is a key point in the security chain of the Jav...
Cinzia Bernardeschi, Nicoletta De Francesco, Giuse...
EDCC
2005
Springer
11 years 7 months ago
Efficient Single-Pattern Fault Simulation on Structurally Synthesized BDDs
Abstract. Current paper proposes an efficient alternative for traditional gatelevel fault simulation. The authors explain how Structurally Synthesized Binary Decision Diagrams (SSB...
Jaan Raik, Raimund Ubar, Sergei Devadze, Artur Jut...
ICDE
2008
IEEE
165views Database» more  ICDE 2008»
12 years 2 months ago
Efficient Data Interpretation and Compression over RFID Streams
Abstract-- Despite its promise, RFID technology presents numerous challenges, including incomplete data, lack of location and containment information, and very high volumes. In thi...
Richard Cocci, Thanh Tran 0002, Yanlei Diao, Prash...
ICVS
2003
Springer
11 years 6 months ago
Automatic Video Interpretation: A Recognition Algorithm for Temporal Scenarios Based on Pre-compiled Scenario Models
This paper presents a new scenario recognition algorithm for Video Interpretation. We represent a scenario model with the characters involved in the scenario, with its sub-scenario...
Van-Thinh Vu, François Brémond, Moni...
MSO
2003
11 years 2 months ago
Simulation based Development of Efficient Hardware for Sort based Algorithms
The use of sub-optimal digital systems can at times lead to high speed, efficient, costeffective structures that are sufficient to perform needed tasks. We describe here a system ...
Niklas Hansson, Jay H. Harris
books