281 search results - page 16 / 57 » Comparing operational models of name-passing process calculi |
108
click to vote
PPDP
2007
Springer
15 years 5 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
114
click to vote
CAISE
2004
Springer
15 years 5 months ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
FPGA
1995
ACM
15 years 3 months ago
1995
ACM
A novel approach is presented for transforming a given scheduled and bound signal processing algorithm for a multiplexer based datapath to a BUS/RAM based FPGA datapath. A datapat...
SIGMOD
2003
ACM
15 years 12 months ago
2003
ACM
Object-oriented and object-relational DBMS support setvalued attributes, which are a natural and concise way to model complex information. However, there has been limited research...
103
click to vote
CCE
2005
14 years 11 months ago
2005
The present paper reports a comparative evaluation of four multivariate statistical process control (SPC) techniques for the on-line monitoring of an industrial sugar crystallizat...