7121 search results - page 1357 / 1425 » Functions as Session-Typed Processes |
ICSE
2000
IEEE-ACM
14 years 1 months ago
2000
IEEE-ACM
We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call packageoriented programming (POP). Galileo represents an ongoing evaluatio...
MOVEP
2000
14 years 1 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
ASPDAC
1995
ACM
14 years 1 months ago
1995
ACM
- In this paper, we present a new scheduling algorithms that generates area-efficient register transfer level datapaths with multiport memories. The proposed scheduling algorithm a...
ESEC
1997
Springer
14 years 1 months ago
1997
Springer
The market for software components is growing, driven on the "demand side" by the need for rapid deployment of highly functional products, and on the "supply side&q...
COLT
1995
Springer
14 years 1 months ago
1995
Springer
The Noise Sensitivity Signature (NSS), originally introduced by Grossman and Lapedes (1993), was proposed as an alternative to cross validation for selecting network complexity. I...