2249 search results - page 93 / 450 » ILP-based engineering change |
134
click to vote
JFP
2007
15 years 12 days ago
2007
Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results fr...
95
Voted
ISCC
2005
IEEE
15 years 6 months ago
2005
IEEE
As the Internet grows at a very rapid pace, so does the incidence of attack events and documented unlawful intrusions. The Network Intrusion Detection Systems (NIDSes) are designe...
ECIS
2003
15 years 1 months ago
2003
The changing competitive landscape has brought new forces to bear on the manner in which new products are developed. These forces have put the creation and dissemination of knowle...
117
click to vote
ICCAD
2002
IEEE
15 years 9 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
92
Voted
AGI
2008
15 years 2 months ago
2008
The likely advent of AGI and the long-established trend of improving computational hardware promise a dual revolution in coming decades: machines which are both more intelligent an...