Sciweavers

4263 search results - page 454 / 853
» Learning without Coding
Sort
View
APSEC
2004
IEEE
15 years 10 months ago
JCMP: Linking Architecture with Component Building
Approaches to enforcing communication integrity in the implementation, exemplified by ArchJava, consider only architectural constraints, without taking into account the late integ...
Guoqing Xu, Zongyuan Yang, Haitao Huang
APN
2006
Springer
15 years 10 months ago
Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
Thomas Chatain, Claude Jard
ECOOPWEXCEPTION
2006
Springer
15 years 10 months ago
Failure Handling in a Network-Transparent Distributed Programming Language
Abstract. This paper shows that asynchronous fault detection is a practical way to reflect partial failure in a network-transparent distributed programming language. In the network...
Raphaël Collet, Peter Van Roy
PLDI
1995
ACM
15 years 10 months ago
EEL: Machine-Independent Executable Editing
EEL (Executable Editing Library) is a library for building tools to analyze and modify an executable (compiled) program. The systems and languages communities have built many tool...
James R. Larus, Eric Schnarr
DAGSTUHL
2008
15 years 8 months ago
Mathematica Connectivity to Interval Libraries filib++ and C-XSC
Abstract. Building interval software interoperability can be a good solution when re-using high-quality legacy code or when accessing functionalities unavailable natively in one of...
Evgenija D. Popova