Sciweavers

1271 search results - page 97 / 255
» On Simulation-Checking with Sequential Systems
Sort
View
POPL
2010
ACM
13 years 9 months ago
S-Net for multi-memory multicores
S-NET is a declarative coordination language and component technology aimed at modern multi-core/many-core architectures and systems-on-chip. It builds on the concept of stream pr...
Clemens Grelck, Jukka Julku, Frank Penczek
ICML
2007
IEEE
14 years 11 months ago
CarpeDiem: an algorithm for the fast evaluation of SSL classifiers
In this paper we present a novel algorithm, CarpeDiem. It significantly improves on the time complexity of Viterbi algorithm, preserving the optimality of the result. This fact ha...
Roberto Esposito, Daniele P. Radicioni
BIRTHDAY
2009
Springer
14 years 5 months ago
Mobile Processes and Termination
Abstract. This paper surveys some recent works on the study of termination in a concurrent setting. Processes are π-calculus processes, on which type systems are imposed that ensu...
Romain Demangeon, Daniel Hirschkoff, Davide Sangio...
DATE
2009
IEEE
126views Hardware» more  DATE 2009»
14 years 5 months ago
Separate compilation and execution of imperative synchronous modules
—The compilation of imperative synchronous languages like Esterel has been widely studied, the separate compilation of synchronous modules has not, and remains a challenge. We pr...
Eric Vecchié, Jean-Pierre Talpin, Klaus Sch...
EUROMICRO
2009
IEEE
14 years 5 months ago
Dynamic Software Architecture Development: Towards an Automated Process
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
Maurice H. ter Beek, Antonio Bucchiarone, Stefania...