Sciweavers

8689 search results - page 420 / 1738
» Software: hard data
Sort
View
DL
2000
Springer
143views Digital Library» more  DL 2000»
15 years 11 months ago
Automatic hypermedia generation for ad hoc queries on semi-structured data
This paper describes research on the automatic generation of hypermedia or Web-based presentations for semi-structured data resulting from ad-hoc queries. We identify how differen...
Geert-Jan Houben, Paul De Bra
BMCBI
2006
87views more  BMCBI 2006»
15 years 7 months ago
XML schemas for common bioinformatic data types and their application in workflow systems
Background: Today, there is a growing need in bioinformatics to combine available software tools into chains, thus building complex applications from existing single-task tools. T...
Philipp N. Seibel, Jan Krüger, Sven Hartmeier...
ECOOP
2010
Springer
15 years 10 months ago
Contract-Based Data Structure Repair Using Alloy
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
Razieh Nokhbeh Zaeem, Sarfraz Khurshid
KBSE
2007
IEEE
16 years 1 months ago
Assertion-based repair of complex data structures
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
Bassem Elkarablieh, Ivan Garcia, Yuk Lai Suen, Sar...
SCOPES
2004
Springer
16 years 6 days ago
Combined Data Partitioning and Loop Nest Splitting for Energy Consumption Minimization
For mobile embedded systems, the energy consumption is a limiting factor because of today’s battery capacities. Besides the processor, memory accesses consume a high amount of en...
Heiko Falk, Manish Verma