Sciweavers

935 search results - page 80 / 187
» Some Results on Orthogonal Factorizations
Sort
View
FOCS
1990
IEEE
15 years 2 months ago
Complexity of Unification in Free Groups and Free Semi-groups
The exponent of periodicity is an important factor in estimates of complexity of word-unification algorithms. We prove that the exponent of periodicity of a minimal solution of a w...
Antoni Koscielski, Leszek Pacholski
CHI
2010
ACM
15 years 1 months ago
Designing games for learning: insights from conversations with designers
This paper presents insights about design practices that can lead to effective and fun games for learning, gleaned from interviews with experienced game developers. We based our a...
Katherine Isbister, Mary Flanagan, Chelsea Hash
SAFECOMP
2000
Springer
15 years 1 months ago
Speeding-Up Fault Injection Campaigns in VHDL Models
Abstract. Simulation-based Fault Injection in VHDL descriptions is increasingly common due to the popularity of top-down design flows exploiting this language. This paper presents ...
B. Parrotta, Maurizio Rebaudengo, Matteo Sonza Reo...
WCRE
1995
IEEE
15 years 1 months ago
The Interleaving Problem in Program Understanding
One of the factors that can make a program di cult to understand is that code responsible for accomplishing more than one purpose may be woven together in a single section. We cal...
Spencer Rugaber, Kurt Stirewalt, Linda M. Wills
WSC
2008
15 years 8 days ago
Clarifying CONWIP versus push system behavior using simulation
This research examines the performance of CONWIP versus "push" workload control in a simple, balanced manufacturing flowline. Analytical models and simulation experiment...
S. T. Enns, Paul Rogers