Sciweavers

7124 search results - page 1238 / 1425
» Programming Languages and Operating Systems
Sort
View
154
Voted
DB
2008
107views more  DB 2008»
15 years 2 months ago
Introducing function extraction into software testing
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...
Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevn...
149
Voted
EC
2008
146views ECommerce» more  EC 2008»
15 years 2 months ago
Automated Discovery of Local Search Heuristics for Satisfiability Testing
The development of successful metaheuristic algorithms such as local search for a difficult problems such as satisfiability testing (SAT) is a challenging task. We investigate an ...
Alex S. Fukunaga
135
Voted
ISCA
2008
IEEE
136views Hardware» more  ISCA 2008»
15 years 2 months ago
The Design and Performance of a Bare PC Web Server
There is an increasing need for new Web server architectures that are application-centric, simple, small, and pervasive in nature. In this paper, we present a novel architecture f...
Long He, Ramesh K. Karne, Alexander L. Wijesinha
SIMULATION
1998
177views more  SIMULATION 1998»
15 years 2 months ago
Simulation and Planning of an Intermodal Container Terminal
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
Luca Maria Gambardella, Andrea Emilio Rizzoli, Mar...
122
Voted
SEMWEB
2010
Springer
15 years 14 days ago
Declarative Semantics for the Rule Interchange Format Production Rule Dialect
Abstract. The Rule Interchange Format Production Rule Dialect (RIFPRD) is a W3C Recommendation to define production rules for the Semantic Web, whose semantics is defined operation...
Carlos Viegas Damásio, José Jú...
« Prev « First page 1238 / 1425 Last » Next »