1757 search results - page 203 / 352 » Alternating Refinement Relations |
148
Voted
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
189
Voted
HPDC
1999
IEEE
15 years 8 months ago
1999
IEEE
We are developing a system for collaborative research and development for a distributed group of researchers at different institutions around the world. In a new paradigm for coll...
144
Voted
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
Abstract. Given the combinatorial nature of cellular signalling pathways, where biological agents can bind and modify each other in a large number of ways, concurrent or agent-base...
150
Voted
CHES
2004
Springer
15 years 7 months ago
2004
Springer
In the execution on a smart card, side channel attacks such as simple power analysis (SPA) and the differential power analysis (DPA) have become serious threat [15]. Side channel a...
142
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we analyse some methodological concerns that have to be faced in a design flow which contains automatic synthesis phases from high-level, system descriptions. In par...