Sciweavers

1874 search results - page 335 / 375
» Abstract Machine for LDL
Sort
View
EMSOFT
2010
Springer
13 years 8 months ago
Nucleos: a runtime system for ultra-compact wireless sensor nodes
Nucleos is a new runtime system for ultra-lightweight embedded systems. Central to Nucleos is a dispatcher based on the concept of e threaded code, which enables layers of abstrac...
Jiwon Hahn, Pai H. Chou
FSTTCS
2010
Springer
13 years 8 months ago
Generalizing the powerset construction, coalgebraically
a is an abstract framework for the uniform study of different kinds of dynamical systems. An endofunctor F determines both the type of systems (F-coalgebras) and a notion of behav...
Alexandra Silva, Filippo Bonchi, Marcello M. Bonsa...
ICPADS
2010
IEEE
13 years 7 months ago
Simulating Large Scale Parallel Applications Using Statistical Models for Sequential Execution Blocks
Abstract-Predicting sequential execution blocks of a large scale parallel application is an essential part of accurate prediction of the overall performance of the application. Whe...
Gengbin Zheng, Gagan Gupta, Eric J. Bohm, Isaac Do...
IEEECIT
2010
IEEE
13 years 7 months ago
Learning Autonomic Security Reconfiguration Policies
Abstract--We explore the idea of applying machine learning techniques to automatically infer risk-adaptive policies to reconfigure a network security architecture when the context ...
Juan E. Tapiador, John A. Clark
IPPS
2010
IEEE
13 years 7 months ago
Servet: A benchmark suite for autotuning on multicore clusters
Abstract--The growing complexity in computer system hierarchies due to the increase in the number of cores per processor, levels of cache (some of them shared) and the number of pr...
Jorge González-Domínguez, Guillermo ...