146
Voted
ICONS
15 years 10 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 ...
108
Voted
ICONS
15 years 10 months ago
2008 IEEE  123
click to vote
ICONS
15 years 10 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...
144
Voted
ICONS
15 years 10 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 ...
131
Voted
ICONS
15 years 10 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