2849 search results - page 141 / 570 » As We Should Have Thought |
186
click to vote
EUROGP
2004
Springer
15 years 10 months ago
2004
Springer
Most programs currently written by humans are object-oriented ones. Two of the greatest benefits of object oriented programming are the separation of interface from implementation,...
150
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
As a result of globalization, mergers, acquisitions, and scarce skills, software development is increasingly more distributed. Distribution, however, introduces major communicatio...
189
click to vote
ARVLSI
2001
IEEE
15 years 10 months ago
2001
IEEE
We extend a class of analog CMOS circuits that can be used to perform many analog computational tasks. The circuits utilize MOSFET's in their subthreshold region as well as c...
158
click to vote
CIKM
2001
Springer
15 years 10 months ago
2001
Springer
Scalable data mining in large databases is one of today's challenges to database technologies. Thus, substantial effort is dedicated to a tight coupling of database and data ...
142
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...