Sciweavers

3008 search results - page 234 / 602
» Information and Control in Gray-Box Systems
Sort
View
HYBRID
2000
Springer
15 years 10 months ago
Modular Specification of Hybrid Systems in CHARON
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, ...
IRI
2008
IEEE
16 years 1 months ago
Eliminating the threat of kernel stack overflows
The Linux kernel stack has a fixed size. There is no mechanism to prevent the kernel from overflowing the stack. Hackers can exploit this bug to put unwanted information in the me...
Yair Wiseman, Joel Isaacson, Eliad Lubovsky
ISVLSI
2008
IEEE
118views VLSI» more  ISVLSI 2008»
16 years 1 months ago
MPI-Based Adaptive Task Migration Support on the HS-Scale System
Scalability of architecture, programming model and task control management will be a major challenge for future VLSI systems. In this context, homogeneous MPSOC is a seducing appr...
Nicolas Saint-Jean, Pascal Benoit, Gilles Sassatel...
DSN
2007
IEEE
16 years 1 months ago
On a Modeling Framework for the Analysis of Interdependencies in Electric Power Systems
Nowadays, economy, security and quality of life heavily depend on the resiliency of a number of critical infrastructures, including the Electric Power System (EPS), through which ...
Silvano Chiaradonna, Paolo Lollini, Felicita Di Gi...
ACHI
2009
IEEE
16 years 1 months ago
Nervixxx: A Video Performance System with Neural Interfaces
Nervixxx introduces neural computing to overcome the limit of conventional performance systems1 that uses tangible computing and physical computing. Specifically, we utilized the ...
Satoru Tokuhisa