767 search results - page 141 / 154 » Logic for Mathematical Writing |
104
Voted
PLDI
2005
ACM
15 years 7 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
114
click to vote
IFM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
118
Voted
FCCM
2000
IEEE
15 years 6 months ago
2000
IEEE
Simplifying the programming models is paramount to the success of reconfigurable computing. We apply the principles of object-oriented programming to the design of stream archite...
133
click to vote
SIGOPSE
1998
ACM
15 years 6 months ago
1998
ACM
with this, the thread abstraction was introduced. While threads are handling events, or awaiting specific events, unrelated events can be handled by other threads. Unfortunately, ...
130
click to vote
ECOOPW
1997
Springer
15 years 6 months ago
1997
Springer
The traditional workflow process model is typically illustrated with a graph of activities, tasks, deliverables and techniques. From an object-oriented perspective, every identifi...