Sciweavers

238 search results - page 37 / 48
» Covering Codes for Hats-on-a-line
Sort
View
BSDCON
2003
14 years 11 months ago
Reasoning about SMP in FreeBSD
While the subject of SMP locking primitives has been well covered in the literature [Val][Schm][Bald][Leh], there has been relatively little discussion on the rationale and proces...
Jeffrey Hsu
SERP
2003
14 years 11 months ago
A Vision for Product Traceability Based on Semantics of Artifacts
In the face of extensive attention form both the research community and the industry, traceability there still lacks of a supporting methodology that enables traceability througho...
Darijus Strasunskas
WSC
2000
14 years 11 months ago
Tire model for simulations of vehicle motion on high and low friction road surfaces
An on-road analytical tire model has been developed to predict tire forces and moments at the tire/road interface. The model is computationally efficient and it only requires a li...
James Lacombe
CORR
2010
Springer
144views Education» more  CORR 2010»
14 years 9 months ago
Catching the Ouroboros: On Debugging Non-ground Answer-Set Programs
An important issue towards a broader acceptance of answer-set programming (ASP) is the deployment of tools which support the programmer during the coding phase. In particular, met...
Johannes Oetsch, Jörg Pührer, Hans Tompi...
IS
2008
14 years 9 months ago
Integration of complex archeology digital libraries: An ETANA-DL experience
In this paper, we formalize the digital library (DL) integration problem and propose an overall approach based on the 5S (streams, structures, spaces, scenarios, and societies) fr...
Rao Shen, Naga Srinivas Vemuri, Weiguo Fan, Edward...