179
click to vote
ICONS
16 years 23 days ago
2008 IEEE 
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
160
click to vote
ICONS
16 years 23 days ago
2008 IEEE 
— Nonholonomic mobile robots are characterized by no-slip constraints. However, in many practical situations, slips are inevitable. In this work, we develop a theoretical and sys...
172
click to vote
ICONS
16 years 23 days ago
2008 IEEE 
DL systems with bilinear structure recently became an important base for cryptographic protocols such as identity-based encryption (IBE). Since the main computational task is the ...
160
click to vote
ICONS
16 years 23 days ago
2008 IEEE 
– This paper presents our approach of the radio interface problematic for Wireless Sensor Network. We introduce the WSN context and constraints associated. We propose an IR-UWB s...
|
Operating System