5675 search results - page 91 / 1135 » Formalising Performative Interaction |
106
Voted
HPCA
2006
IEEE
16 years 2 months ago
2006
IEEE
This paper describes the first infrastructure for integrated studies of the performance and thermal behavior of storage systems. Using microbenchmarks running on this infrastructu...
116
click to vote
ARTS
1999
Springer
15 years 6 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
112
click to vote
MSE
1999
IEEE
15 years 6 months ago
1999
IEEE
Team projects represent an important aspect of the microelectronic systems education. In group projects, students learn to work together, delegate responsibilities, and manage tim...
118
Voted
WSC
2008
15 years 4 months ago
2008
Despite increasing dependency on technology, the importance of humans is expected to increase and to provide a realistic basis for decision support; both technical and organizatio...
101
click to vote
EDM
2010
15 years 3 months ago
2010
In this paper we utilising some popular educational data mining (EDM) methods to explore and mine educational data resulted from a system that supports reflection for learning call...