2663 search results - page 356 / 533 » How to Choose a Timing Model |
148
Voted
SIGCSE
2003
ACM
15 years 8 months ago
2003
ACM
Computer graphics forms an important part of a working scientist’s tools. This may be provided by resources with the scientist’s group or by capabilities of the toolkits that ...
139
click to vote
DBPL
2001
Springer
15 years 8 months ago
2001
Springer
Commercial OLAP systems usually treat OLAP dimensions as static entities. In practice, dimension updates are often necessary in order to adapt the multidimensional database to chan...
100
Voted
HICSS
1998
IEEE
15 years 7 months ago
1998
IEEE
Deregulated wholesale markets for bulk electricity supplies are likely to deviate from the perfectly competitive ideal in many areas where transmission losses, costs and capacity ...
155
Voted
FDL
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
121
Voted
MOBICOM
1997
ACM
15 years 7 months ago
1997
ACM
In a previous paper [elided], we described ARTour Web Express, a software system that makes it possible to run World Wide Web applications over wide-area wireless networks. Our ea...