1597 search results - page 246 / 320 » A Design Method for Object-Oriented Programming |
145
Voted
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...
145
Voted
JMLR
2012
13 years 6 months ago
2012
The main theme of this paper is to develop a novel eigenvalue optimization framework for learning a Mahalanobis metric. Within this context, we introduce a novel metric learning a...
141
click to vote
COMSWARE
2007
IEEE
15 years 10 months ago
2007
IEEE
—Sensor networks represent a new frontier in technology that holds the promise of unprecedented levels of autonomy in the execution of complex dynamic missions by harnessing the ...
168
Voted
HT
2004
ACM
15 years 9 months ago
2004
ACM
In this paper, we present a model-driven methodology and toolset for automatic generation of hypertext system repositories. Our code generator, called Bamboo, is based on a Contai...
120
Voted
CODES
2003
IEEE
15 years 9 months ago
2003
IEEE
We describe our first efforts to develop a set of off-the-shelf hardware components that ordinary people could connect to build a simple but useful class of embedded systems. The ...