Sciweavers

482 search results - page 20 / 97
» Exploration in Metric State Spaces
Sort
View
CAISE
2007
Springer
14 years 3 months ago
Error Metrics for Business Process Models
Little research has been conducted so far on causes for errors in business process models. In this paper we investigate on how mainly domain independent factors such as the size or...
Jan Mendling, Gustaf Neumann
ICCD
2007
IEEE
105views Hardware» more  ICCD 2007»
14 years 6 months ago
Exploring the interplay of yield, area, and performance in processor caches
The deployment of future deep submicron technology calls for a careful review of existing cache organizations and design practices in terms of yield and performance. This paper pr...
Hyunjin Lee, Sangyeun Cho, Bruce R. Childers
ISPASS
2006
IEEE
14 years 3 months ago
Accelerating architectural exploration using canonical instruction segments
Detailed microarchitectural simulators are not well suited for exploring large design spaces due to their excessive simulation times. We introduce AXCIS, a framework for fast and ...
Rose F. Liu, Krste Asanovic
CHI
2006
ACM
14 years 9 months ago
"Alone together?": exploring the social dynamics of massively multiplayer online games
Massively Multiplayer Online Games (MMOGs) routinely attract millions of players but little empirical data is available to assess their players' social experiences. In this p...
Nicolas Ducheneaut, Nicholas Yee, Eric Nickell, Ro...
FM
2005
Springer
156views Formal Methods» more  FM 2005»
14 years 2 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...