198 search results - page 20 / 40 » Concurrent Control Systems: From Grafcet to VHDL |
IMC
2007
ACM
14 years 11 months ago
2007
ACM
Testbeds composed of end hosts deployed across the Internet enable researchers to simultaneously conduct a wide variety of experiments. Active measurement studies of Internet path...
USENIX
2007
15 years 3 days ago
2007
Tame is a new event-based system for managing concurrency in network applications. Code written with Tame abstractions does not suffer from the “stackripping” problem associat...
ICEBE
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents a process modeling language known as the GridPML for the composition of Grid Services. The GridPML is an XML-based language that supports basic control flow co...
DFT
2006
IEEE
15 years 3 months ago
2006
IEEE
Control flow checking (CFC) is a well known concurrent checking technique for ensuring that a program’s instruction execution sequence follows permissible paths. Almost all CFC...
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...