1715 search results - page 265 / 343 » Embedded Systems and Real-Time Programming |
254
click to vote
GECCO
2003
Springer
15 years 10 months ago
2003
Springer
This paper proposes a method for dealing with numerical attributes in inductive concept learning systems based on genetic algorithms. The method uses constraints for restricting th...
167
Voted
IWSOC
2003
IEEE
15 years 10 months ago
2003
IEEE
In embedded systems, memory is one of the most expensive resources. Due to this, program code size has turned out to be one of the most critical design constraints. Code compressi...
144
click to vote
TPHOL
1999
IEEE
15 years 9 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
137
click to vote
ISTA
2003
15 years 6 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
123
Voted
USENIX
1990
15 years 6 months ago
1990
Tcl is an interpreter for a tool command language. It consists of a library package that is embedded in tools (such as editors, debuggers, etc.) as the basic command interpreter. ...