1158 search results - page 158 / 232 » Software is discrete mathematics |
125
click to vote
JCP
2008
15 years 20 days ago
2008
Processor is an important computing element in portable battery operated real time embedded system and it consumes most of the battery energy. Energy consumption, processor memory ...
103
click to vote
TCS
2008
15 years 17 days ago
2008
A notation for the functional specification of a wide range of neural networks consisting of temporal or non-temporal neurons, is proposed. The notation is primarily a mathematica...
109
click to vote
VLDB
2002
ACM
15 years 9 days ago
2002
ACM
Automatic tuning has been an elusive goal for database technology for a long time and is becoming a pressing issue for modern E-services. This paper reviews and assesses the advan...
INFORMATICALT
2010
14 years 11 months ago
2010
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veriï...
96
Voted
COMGEO
2010
ACM
14 years 9 months ago
2010
ACM
The geographic profiling problem is to create an operationally useful estimate of the location of the home base of a serial criminal from the known locations of the offense sites....