Sciweavers

467 search results - page 57 / 94
» WebMetrics: A Tool for Improving Software Development
Sort
View
NAR
2008
94views more  NAR 2008»
15 years 4 months ago
The Gene Ontology project in 2008
The Gene Ontology (GO) project (http://www.gene ontology.org/) provides a set of structured, controlled vocabularies for community use in annotating genes, gene products and seque...
ADAEUROPE
2004
Springer
15 years 10 months ago
High-Integrity Interfacing to Programmable Logic with Ada
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...
Adrian J. Hilton, Jon G. Hall
SEMWEB
2007
Springer
15 years 10 months ago
Towards Correspondence Patterns for Ontology Mediation
We introduce in this paper correspondence patterns as a tool to design ontology alignments. Based on existing research on patterns in the fields of software and ontology engineeri...
François Scharffe, Ying Ding, Dieter Fensel
PLDI
2011
ACM
14 years 7 months ago
Finding and understanding bugs in C compilers
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...
Xuejun Yang, Yang Chen, Eric Eide, John Regehr
ROBOCUP
2005
Springer
155views Robotics» more  ROBOCUP 2005»
15 years 10 months ago
An Application Interface for UCHILSIM and the Arrival of New Challenges
UCHILSIM is a robot simulator recently introduced in the RoboCup Four Legged League. A main attractive of the simulator is the possibility of reproducing with accuracy the dynamica...
Juan Cristóbal Zagal, Iván Sarmiento...