Sciweavers

4890 search results - page 706 / 978
» From system specifications to component behavioral models
Sort
View
VLSID
2008
IEEE
191views VLSI» more  VLSID 2008»
16 years 1 months ago
Programming and Performance Modelling of Automotive ECU Networks
The last decade has seen a phenomenal increase in the use of electronic components in automotive systems, resulting in the replacement of purely mechanical or hydraulic-implementa...
Samarjit Chakraborty, Sethu Ramesh
GIS
2008
ACM
16 years 7 months ago
Computing isochrones in multi-modal, schedule-based transport networks
Isochrones are defined as the set of all points from which a specific point of interest is reachable within a given time span. This demo paper presents a solution to compute isoch...
Veronika Bauer, Johann Gamper, Roberto Loperfido, ...
178
Voted
ECRTS
2003
IEEE
15 years 12 months ago
Hardware-Based Solution Detecting Illegal References in Real-Time Java
The memory model used in the Real-Time Specification for Java (RTSJ) imposes strict assignment rules to or from memory areas preventing the creation of dangling pointers, and thus...
M. Teresa Higuera-Toledano
ENTCS
2006
168views more  ENTCS 2006»
15 years 6 months ago
A Functional Programming Framework for Latency Insensitive Protocol Validation
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla...
PKC
2004
Springer
106views Cryptology» more  PKC 2004»
16 years 16 hour ago
On the Security of Multiple Encryption or CCA-security+CCA-security=CCA-security?
In a practical system, a message is often encrypted more than once by different encryptions, here called multiple encryption, to enhance its security. Additionally, new features ...
Rui Zhang 0002, Goichiro Hanaoka, Junji Shikata, H...