Sciweavers

553 search results - page 21 / 111
» Verified, Executable Parsing
Sort
View
IPPS
2006
IEEE
14 years 2 months ago
Monitoring remotely executing shared memory programs in software DSMs
Peer-to-Peer (P2P) cycle sharing over the Internet has become increasingly popular as a way to share idle cycles. A fundamental problem faced by P2P cycle sharing systems is how t...
Long Fei, Xing Fang, Y. Charlie Hu, Samuel P. Midk...
ECOWS
2008
Springer
13 years 10 months ago
Beyond Soundness: On the Semantic Consistency of Executable Process Models
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...
Ingo Weber, Jörg Hoffmann, Jan Mendling
DATE
1999
IEEE
172views Hardware» more  DATE 1999»
14 years 1 months ago
An Object-Based Executable Model for Simulation of Real-Time Hw/Sw Systems
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
Olivier Pasquier, Jean Paul Calvez
WWW
2003
ACM
14 years 9 months ago
Parse & Dispatch: Parallelizing the Generation
The use of dynamically generated Web content is gaining in popularity over traditional static HTML content. Dynamic Web content is generated on the fly according to the instructio...
Stavros Papastavrou, George Samaras, Paraskevas Ev...
VISUAL
1999
Springer
14 years 1 months ago
Integrated Parsing of Compressed Video
A technique for detecting scene changes in compressed video streams is proposed which combines multiple modes of information. The proposed technique directly exploits and combines ...
Suchendra M. Bhandarkar, Yashodhan S. Warke, Aparn...