Sciweavers

13591 search results - page 56 / 2719
» On the Implementation of Dynamic Evaluation
Sort
View
TSE
2010
161views more  TSE 2010»
15 years 10 days ago
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, ...
CLUSTER
2007
IEEE
15 years 8 months ago
Dynamic scheduling of multi-processor tasks on clusters of clusters
— In this article we tackle the problem of scheduling a dynamically generated DAG of multi-processor tasks (M-tasks). At first, we outline the need of such a scheduling approach...
Sascha Hunold, Thomas Rauber, Gudula Rünger
DSN
2006
IEEE
15 years 8 months ago
Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
Albert Meixner, Daniel J. Sorin
AAAI
2010
15 years 3 months ago
Trial-Based Dynamic Programming for Multi-Agent Planning
Trial-based approaches offer an efficient way to solve singleagent MDPs and POMDPs. These approaches allow agents to focus their computations on regions of the environment they en...
Feng Wu, Shlomo Zilberstein, Xiaoping Chen
CN
2008
87views more  CN 2008»
15 years 2 months ago
Dynamic IP configuration of terminals in broadcasting networks
The concept of synergy between broadcasting and telecommunication networks has been strengthened by the emergence of multi-modal terminals, which are used in a broadcast environme...
Georgios Gardikis, S. Orfanos, George Kormentzas, ...