2943 search results - page 104 / 589 » Software Implementation of Synchronous Programs |
170
Voted
SAC
2008
ACM
15 years 1 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
216
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
131
click to vote
CIA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Today’s software platforms that support the construction of agent systems in accordance with the FIPA specifications essentially provide enabling infrastructure servic...
109
click to vote
COMPSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
In recent years, TinyOS and nesC are gradually becoming the de facto software development platform for implementing sensor applications. However, developing sensor applications is...
134
click to vote
IEEEPACT
2006
IEEE
15 years 8 months ago
2006
IEEE
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....