3008 search results - page 52 / 602 » Mechanisms for Importing Modules |
131
click to vote
MTV
2006
IEEE
15 years 9 months ago
2006
IEEE
—Our Mutation-based Validation Paradigm (MVP) is a validation environment for high-level microprocessor implementations. To be able to efficiently generate test sequences, we nee...
127
Voted
WSCG
2001
15 years 5 months ago
2001
This paper introduces the foundations of a new mechanical level of detail method dedicated to knitted fabric simulation. This method consists as a reduction of the knitted cloth p...
116
click to vote
SCP
2008
15 years 3 months ago
2008
In [5] we build a formal verification technique for game based correctness proofs of cryptograhic algorithms based on a probabilistic Hoare style logic [10]. An important step towa...
166
Voted
IPCCC
2006
IEEE
15 years 9 months ago
2006
IEEE
– Wireless Mesh networks exploit multi-hop wireless communications between Access Points to replace wired infrastructure. However, in multi-hop networks, effective bandwidth decr...
226
Voted
AOSD
2010
ACM
15 years 10 months ago
2010
ACM
Advice is a mechanism, widely used in aspect-oriented languages, that allows one program component to augment or modify the behavior of other components. When advice and other com...