Sciweavers

3174 search results - page 126 / 635
» An Exploration of the Permanent-Determinant Method
Sort
View
MSE
2003
IEEE
102views Hardware» more  MSE 2003»
15 years 11 months ago
Teaching Trade-offs in System-level Design Methodologies
This paper summarizes two graduate-level class projects in EE201A/EE298 (VLSI Architectures and Design Methods) at the University of California, Los Angeles (UCLA). The purpose of...
Kazuo Sakiyama, Patrick Schaumont, David Hwang, In...
MPC
2010
Springer
157views Mathematics» more  MPC 2010»
15 years 11 months ago
The Logic of Large Enough
Abstract. In this paper we explore the “for large enough” quantifier, also known as “all but finitely many”, which plays a central role in asymptotic reasoning, as used f...
Eerke A. Boiten, Dan Grundy
WETICE
2000
IEEE
15 years 11 months ago
Workshop on Evaluating Collaborative Enterprises - Workshop Report
The workshop, Evaluating Collaborative Enterprises,1 explored the issues surrounding the evaluation of collaborative systems including methods and tools for evaluating collaborati...
Amy J. Knutilla, Michelle Potts Steves, Robert H. ...
PEPM
1997
ACM
15 years 10 months ago
A Type-directed, On-line, Partial Evaluator for a Polymorphic Language
Recently, Olivier Danvy introduced a new, simple method for implementing powerful partial evaluators, namely typedirected partial evaluation 9 . He introduced a partial evaluator ...
Tim Sheard
ICSM
1993
IEEE
15 years 10 months ago
Incremental Regression Testing
The purpose of regression testing is to ensure that bug xes and new functionality introduced in a new version of a software do not adversely a ect the correct functionality inheri...
Hiralal Agrawal, Joseph Robert Horgan, Edward W. K...