12115 search results - page 418 / 2423 » Bisimulation of Dynamical Systems |
204
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
150
click to vote
KES
2000
Springer
15 years 10 months ago
2000
Springer
We propose a speech-based conversation environment called Voice Cafe for facilitating dynamic knowledge interaction. Dynamic knowledge interaction is a key concept for creative in...
295
Voted
SENSYS
2006
ACM
16 years 24 days ago
2006
ACM
From experience with wireless sensor networks it has become apparent that dynamic reprogramming of the sensor nodes is a useful feature. The resource constraints in terms of energ...
175
click to vote
MICRO
2005
IEEE
16 years 12 days ago
2005
IEEE
Dynamic voltage and frequency scaling (DVFS) is an effective technique for controlling microprocessor energy and performance. Existing DVFS techniques are primarily based on hardw...
171
click to vote
ECAL
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. In this paper, we propose a formal definition of the perception as a behavioral dynamical attraction basin. The perception is built from the integration of the sensori-m...