Sciweavers

1915 search results - page 105 / 383
» A language for functional interpretation of model based simu...
Sort
View
ECOOP
2001
Springer
15 years 8 months ago
Distinctness and Sharing Domains for Static Analysis of Java Programs
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
Isabelle Pollet, Baudouin Le Charlier, Agostino Co...
161
Voted
IDT
2010
124views more  IDT 2010»
15 years 2 months ago
Modelling decision making with probabilistic causation
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...
Luís Moniz Pereira, Carroline Kencana Ramli
ICPADS
2005
IEEE
15 years 9 months ago
The Impact of Random Waypoint Mobility on Infrastructure Wireless Networks
In this paper we report the impact of the Random Waypoint model on infrastructure wireless networks that utilise multi-rate scheme. The Waypoint model causes a higher concentratio...
Dennis Pong, Tim Moors
153
Voted
ECBS
2003
IEEE
111views Hardware» more  ECBS 2003»
15 years 9 months ago
Multigranular Simulation of Heterogeneous Embedded Systems
Heterogeneous embedded systems, where configurable or application specific hardware devices (FPGAs and ASICs) are used alongside traditional processors, are becoming more and more...
Aditya Agrawal, Ákos Lédeczi
DATE
2006
IEEE
111views Hardware» more  DATE 2006»
15 years 10 months ago
Functional test generation using property decompositions for validation of pipelined processors
Functional validation is a major bottleneck in pipelined processor design. Simulation using functional test vectors is the most widely used form of processor validation. While exi...
Heon-Mo Koo, Prabhat Mishra