Sciweavers

3500 search results - page 251 / 700
» Implementing Java on Clusters
Sort
View
WWW
2001
ACM
16 years 1 months ago
A Browser Front End for CORBA Objects
We propose a URI scheme for addressing CORBA objects. A URI for an object not only identifies the object but may also optionally include the name of the method to be invoked on th...
Atul Kumar, Deepak Gupta, Pankaj Jalote
ICSE
2009
IEEE-ACM
15 years 7 months ago
Semantics-based code search
Our goal is to use the vast repositories of available open source code to generate specific functions or classes that meet a user’s specifications. The key words here are spec...
Steven P. Reiss
72
Voted
DEXA
2007
Springer
98views Database» more  DEXA 2007»
15 years 6 months ago
Extracting Sequential Nuggets of Knowledge
Abstract. We present the notion of sequential association rule and introduce Sequential Nuggets of Knowledge as sequential association rules with possible low support and good qual...
Christine Froidevaux, Frédérique Lis...
99
Voted
TAP
2007
Springer
92views Hardware» more  TAP 2007»
15 years 6 months ago
Generating Unit Tests from Formal Proofs
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...
Christian Engel, Reiner Hähnle
103
Voted
ASWEC
2005
IEEE
15 years 6 months ago
Virtual Machines, Managed Code and Component Technology
machines have been used as an implementation mechanism for programming languages for more than thirty years. In their latest incarnation execution engines based on virtual machine...
John Gough