Sciweavers

2300 search results - page 120 / 460
» Maximally Concurrent Programs
Sort
View
101
Voted
FASE
1999
Springer
15 years 5 months ago
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
Eva Coscia, Gianna Reggio
92
Voted
HICSS
1994
IEEE
155views Biometrics» more  HICSS 1994»
15 years 4 months ago
Concurrent Simulation and Control of Robot Tasks
In the area of telerobotics, where remote systems are to be controlled, it is helpful to plan subsequent operations based on as much relevant data as possible. The simulation of t...
Ulrich Mehlhaus
99
Voted
PADL
2000
Springer
15 years 4 months ago
A Functional Logic Programming Approach to Graphical User Interfaces
We show how the features of modern integrated functional logic programming languages can be exploited to implement graphical user interfaces (GUIs) in a high-level declarative styl...
Michael Hanus
83
Voted
CDES
2006
112views Hardware» more  CDES 2006»
15 years 2 months ago
A New Processor Architecture with a New Program Driving Method
- This paper proposes a new type of processor architecture using a new program driving method which makes it possible for more programs to run in a single kernel processor concurre...
Xiaobo Li, Ke Luo, Xiangdong Cui, Lalin Jiang, Xia...
101
Voted
SAMOS
2010
Springer
14 years 11 months ago
Programming multi-core architectures using Data-Flow techniques
Abstract—In this paper we present a Multithreaded programming methodology for multi-core systems that utilizes DataFlow concurrency. The programmer augments the program with macr...
Samer Arandi, Paraskevas Evripidou