Sciweavers

621 search results - page 23 / 125
» Applying Prolog to Develop Distributed Systems
Sort
View
ICECCS
1996
IEEE
83views Hardware» more  ICECCS 1996»
13 years 12 months ago
Toward Compiler Optimization of Distributed Real-Time Processes
Compiler optimization techniques have been applied to facilitate development and performance tuning of non-real-time systems. Unfortunately, regular compiler optimization can comp...
Mohamed F. Younis, Thomas J. Marlowe, Grace Tsai, ...
SAC
2003
ACM
14 years 28 days ago
Are Multiagent Algorithms Relevant for Real Hardware? A Case Study of Distributed Constraint Algorithms
Researchers building multi-agent algorithms typically work with abstracted away from real applications. The abstracted problem instances allow systematic and detailed investigatio...
Paul Scerri, Pragnesh Jay Modi, Wei-Min Shen, Mili...
ICTAC
2010
Springer
13 years 6 months ago
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
Yunho Kim, Moonzoo Kim, Nam Dang
FGCN
2008
IEEE
161views Communications» more  FGCN 2008»
14 years 2 months ago
The Development of Software Pricing Schemata and Its Application to Software Industry in Korea
The purpose of this this research is to suggest comprehensive pricing schemata that software developers can use in the integrated state of software uses. To do so, we have reviewe...
Youngsik Kwak, Yunkyung Lee, Yoonsik Kwak
DEXA
1999
Springer
99views Database» more  DEXA 1999»
13 years 12 months ago
Distributed Global Transaction Support for Workflow Management Applications
Workflow management systems require advanced transaction support to cope with their inherently long-running processes. The recent trend to distribute workflow executions requires ...
Jochem Vonk, Paul W. P. J. Grefen, Erik Boertjes, ...