8398 search results - page 482 / 1680 » Optimal Software Testing |
241
click to vote
PLDI
2010
ACM
16 years 20 days ago
2010
ACM
Many opportunities for easy, big-win, program optimizations are missed by compilers. This is especially true in highly layered Java applications. Often at the heart of these misse...
188
click to vote
SCOPES
2005
Springer
16 years 1 months ago
2005
Springer
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...
197
click to vote
AC
1999
Springer
15 years 12 months ago
1999
Springer
The CORBA Object Group Service (OGS) is a new CORBA service that provides support for fault-tolerance through the replication of CORBA objects. In this paper, we present several o...
326
click to vote
ICLP
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. A class of probabilistic-logic models is considered, which increases the expressibility from HMM's and SCFG's regular and contextfree languages to, in principle...
208
click to vote
PKC
2009
Springer
16 years 8 months ago
2009
Springer
Recently, the new Multibase Non-Adjacent Form (mbNAF) method was introduced and shown to speed up the execution of the scalar multiplication with an efficient use of multiple bases...