Sciweavers

2007 search results - page 232 / 402
» Using general-purpose programming languages for FPGA design
Sort
View
153
Voted
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
15 years 9 months ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
POPL
2008
ACM
16 years 3 months ago
Multiparty asynchronous session types
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
Kohei Honda, Nobuko Yoshida, Marco Carbone
150
Voted
OOPSLA
2010
Springer
15 years 1 months ago
Towards a tool-based development methodology for sense/compute/control applications
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
Damien Cassou, Julien Bruneau, Julien Mercadal, Qu...
123
Voted
ERLANG
2007
ACM
15 years 7 months ago
Extended process registry for Erlang
The built-in process registry has proven to be an extremely useful feature of the Erlang language. It makes it easy to provide named services, which can be reached without knowing...
Ulf Wiger
AOSD
2007
ACM
15 years 5 months ago
The service creation environment: a telecom case study
Composing web services using current web service composition languages (such as BPEL) requires a large amount of in-depth knowledge. This paper introduces a service creation envir...
Niels Joncheere