Sciweavers

4880 search results - page 158 / 976
» Manuals as Structured Programs
Sort
View
127
Voted
ECAI
2010
Springer
15 years 4 months ago
On Testing Answer-Set Programs
Answer-set programming (ASP) is a well-acknowledged paradigm for declarative problem solving, yet comparably little effort has been spent on the investigation of methods to support...
Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch...
ICASSP
2008
IEEE
15 years 10 months ago
Probabilistic structural alignment of RNA sequences
We propose an algorithm for estimating the common secondary structure, alignment, and posterior base pairing probabilities for two RNA sequences. A definition of structural align...
Arif Ozgun Harmanci, Gaurav Sharma, David H. Mathe...
165
Voted
ISADS
2003
IEEE
15 years 8 months ago
A GUI Approach to Programming of TMO Frames and Design of Real-Time Distributed Computing Software
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...
K. H. Kim, Seok-Joong Kang
119
Voted
ICSM
1999
IEEE
15 years 7 months ago
Criteria for Testing Exception-Handling Constructs in Java Programs
Exception-handling constructs provide a mechanism for raising exceptions, and a facility for designating protected code by attaching exception handlers to blocks of code. Despite ...
Saurabh Sinha, Mary Jean Harrold
155
Voted
IEEEPACT
1999
IEEE
15 years 7 months ago
Containers on the Parallelization of General-Purpose Java Programs
Automatic parallelization of general-purpose programs is still not possible in general in the presence of irregular data structures and complex control-flows. One promising strate...
Peng Wu, David A. Padua