794 search results - page 23 / 159 » Evaluation of Assertion Support for the Java Programming Lan... |
JTRES
2010
ACM
13 years 7 months ago
2010
ACM
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
VL
2000
IEEE
13 years 12 months ago
2000
IEEE
Concurrent programming is a complex task, even with modern languages such as Java who provide languagebased support for multithreading and synchronization. In addition to typical ...
SAS
2009
Springer
14 years 8 months ago
2009
Springer
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...
PLDI
2004
ACM
14 years 29 days ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
IFIP
2010
Springer
13 years 11 months ago
2010
Springer
Abstract Flow Accounting is a passive monitoring mechanism implemented in routers that gives insight into tra c behavior and network characteristics. However, processing of Flow Ac...