Sciweavers

1753 search results - page 168 / 351
» State Machines
Sort
View
DATE
2005
IEEE
162views Hardware» more  DATE 2005»
15 years 10 months ago
A Model-Based Approach for Executable Specifications on Reconfigurable Hardware
UML 2.0 provides a rich set of diagrams for systems documentation and specification. Many efforts have been undertaken to employ different aspects of UML for multiple domains, mai...
Tim Schattkowsky, Wolfgang Müller 0003, Achim...
ML
2008
ACM
115views Machine Learning» more  ML 2008»
15 years 4 months ago
Calling variadic functions from a strongly-typed language
The importance of providing a mechanism to call C functions from high-level languages has been understood for many years and, these days, almost all statically-typed high-level-la...
Matthias Blume, Mike Rainey, John H. Reppy
ESOP
2012
Springer
14 years 10 days ago
Multiparty Session Types Meet Communicating Automata
Communicating finite state machines (CFSMs) represent processes which communicate by asynchronous exchanges of messages via FIFO channels. Their major impact has been in character...
Pierre-Malo Deniélou, Nobuko Yoshida
AI
2006
Springer
15 years 8 months ago
Beyond the Bag of Words: A Text Representation for Sentence Selection
Sentence selection shares some but not all the characteristics of Automatic Text Categorization. Therefore some but not all the same techniques should be used. In this paper we stu...
Maria Fernanda Caropreso, Stan Matwin
ICCAD
1994
IEEE
134views Hardware» more  ICCAD 1994»
15 years 8 months ago
Boolean constrained encoding: a new formulation and a case study
1 This paper provides a new, generalized approach to the problem of encoding information as vectors of binary digits. We furnish a formal definition for the Boolean constrained enc...
Ney Laert Vilar Calazans