Sciweavers

1932 search results - page 305 / 387
» Molecule-oriented programming in Java
Sort
View
GI
2001
Springer
14 years 2 months ago
Specifying Component Invariants with OCL
The “Object Constraint Language” (OCL) offers a formal notation for constraining model elements in UML diagrams. OCL consists of a navigational expression language which, for ...
Rolf Hennicker, Hubert Baumeister, Alexander Knapp...
UML
2001
Springer
14 years 2 months ago
iState: A Statechart Translator
We describe formal steps in the design of iState, a tool for translating statecharts into programming languages. Currently iState generates code in either Java, or the Abstract Mac...
Emil Sekerinski, Rafik Zurob
IPPS
2000
IEEE
14 years 2 months ago
JRoute: A Run-Time Routing API for FPGA Hardware
JRoute is a set of Java classes that provide an application programming interface (API) for routing of Xilinx FPGA devices. The interface allows various levels of control from conn...
Eric Keller
SIGCSE
2000
ACM
193views Education» more  SIGCSE 2000»
14 years 2 months ago
Experimentation with bounded buffer synchronization
Undergraduates are usually introduced to synchronization in operating systems through a discussion of classical problems such as reader-writer or producers-consumers. The traditio...
Steven Robbins
RTSS
1999
IEEE
14 years 2 months ago
Real-Time Garbage Collection in Multi-Threaded Systems on a Single Processor
We show the difficulties that arise for the implementation of a real-time garbage collector in a multi-threaded system. A mechanism for synchronization between threads and the gar...
Fridtjof Siebert