7080 search results - page 410 / 1416 » Designing High Integrity Systems Using Aspects |
233
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
SQL tuning--the attempt to improve a poorly-performing execution plan produced by the database query optimizer-is a critical aspect of database performance tuning. Ironically, as ...
116
click to vote
QSIC
2005
IEEE
15 years 10 months ago
2005
IEEE
We believe that tool support is very important for any methodology. In this paper we describe PDT (Prometheus Design Tool) which supports the design of an intelligent agent system...
122
click to vote
CSCW
1998
ACM
15 years 8 months ago
1998
ACM
We designed HyperMirror to provide a new video image that presents an attractive, highly understandable communication environment, rather than imitating face-toface communication....
125
click to vote
ISCA
2009
IEEE
15 years 11 months ago
2009
IEEE
The widespread use of multicore processors has dramatically increased the demands on high bandwidth and large capacity from memory systems. In a conventional DDR2/DDR3 DRAM memory...
158
click to vote
MKM
2009
Springer
15 years 11 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...