Sciweavers

3663 search results - page 520 / 733
» Problems in the ontology of computer programs
Sort
View
BIBE
2007
IEEE
108views Bioinformatics» more  BIBE 2007»
16 years 28 days ago
On the Design of Oligos for Gene Synthesis
— Methods for reliable synthesis of long genes offer great promise for protein synthesis via expression of synthetic genes, with applications to improved analysis of protein stru...
Chris Thachuk, Anne Condon
ILP
2007
Springer
16 years 21 days ago
Structural Statistical Software Testing with Active Learning in a Graph
Structural Statistical Software Testing (SSST) exploits the control flow graph of the program being tested to construct test cases. Specifically, SSST exploits the feasible paths...
Nicolas Baskiotis, Michèle Sebag
RTSS
2006
IEEE
16 years 17 days ago
An Emprical Evaluation of Memory Management Alternatives for Real-Time Java
Memory management is a critical issue for correctness and performance of hard-real time systems. Java environments usually incorporate high-throughput garbage collection algorithm...
Filip Pizlo, Jan Vitek
CODES
2005
IEEE
16 years 6 days ago
Satisfying real-time constraints with custom instructions
Instruction-set extensible processors allow an existing processor core to be extended with application-specific custom instructions. In this paper, we explore a novel application...
Pan Yu, Tulika Mitra
ICSM
2005
IEEE
16 years 5 days ago
Static Analysis of Object References in RMI-Based Java Software
Distributed applications provide numerous advantages related to software performance, reliability, interoperability, and extensibility. This paper focuses on distributed Java prog...
Mariana Sharp, Atanas Rountev