161
click to vote
ICONS
15 years 11 months 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 ...
134
click to vote
ICONS
15 years 11 months 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...
156
click to vote
ICONS
15 years 11 months 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 ...
145
Voted
ICONS
15 years 11 months 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