3706 search results - page 204 / 742 » KtSeqC: System Description |
189
click to vote
EWSA
2004
Springer
16 years 15 hour ago
2004
Springer
This paper gives an overview of the ArchWare European Project1 . The broad scope of ArchWare is to respond to the ever-present demand for software systems that are capable of accom...
162
click to vote
ISOLA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
189
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
To understand the performance of modern Java systems one must observe execution in the context of specific architectures. It is also important that we make these observations usi...
224
click to vote
CIDR
2011
14 years 10 months ago
2011
Data state in a data management system such as a database is the result of the transactions performed on that data management system. Approaches such as single-message transaction...
150
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
A C++ based programming environment for the design of complex high speed ASICs is presented. The design of a 75 Kgate DECT transceiver is used as a driver example. Compact descrip...