2416 search results - page 230 / 484 » The Language of Cortical Dynamics |
161
click to vote
PLDI
1993
ACM
15 years 10 months ago
1993
ACM
This paper describes a new language feature that allows dynamically allocated objects to be saved from deallocation by an automatic storage management system so that clean-up or o...
162
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
We report our experience in implementing type and memory safety in an efficient manner for sensor network nodes running TinyOS: tiny embedded systems running legacy, C-like code. ...
188
click to vote
FDL
2006
IEEE
15 years 10 months ago
2006
IEEE
In this work, an approach to the `verification-oriented' modeling of the analog parts' behavior of mixed-signal circuits is presented. Starting from a continuous-time, c...
179
click to vote
EDO
2000
Springer
15 years 10 months ago
2000
Springer
With the explosive growth of the Internet, businesses of all sizes aim on applying e-business solutions to their IT infrastructures, migrating their legacy business processes into ...
179
click to vote
SAIG
2000
Springer
15 years 10 months ago
2000
Springer
Traditional offline program specialization relies on staging of a computation into two levels, static and dynamic. We present a generalization thereof where the static input data o...