Sciweavers

1686 search results - page 175 / 338
» Programs as polygraphs: computability and complexity
Sort
View

Book
336views
17 years 7 days ago
C++: A Dialog
"Assuming that you want to learn C++, why should you read this book rather than any of dozens of other introductory C++ books? One difference between this book and other intro...
Steve Heller
FSTTCS
2009
Springer
15 years 10 months ago
Arithmetic Circuits and the Hadamard Product of Polynomials
Motivated by the Hadamard product of matrices we define the Hadamard product of multivariate polynomials and study its arithmetic circuit and branching program complexity. We also...
Vikraman Arvind, Pushkar S. Joglekar, Srikanth Sri...
EDUTAINMENT
2007
Springer
15 years 10 months ago
UML in Action: Integrating Formal Methods in Industrial Design Education
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
Jun Hu, Philip Ross, Loe M. G. Feijs, Yuechen Qian
HPCC
2005
Springer
15 years 9 months ago
FAST-EVP: An Engine Simulation Tool
Abstract. FAST-EVP is a simulation tool for internal combustion engines running on cluster platforms; it has evolved from the KIVA-3V code base, but has been extensively rewritten ...
Gino Bella, Alfredo Buttari, Alessandro De Maio, F...
ICSE
2000
IEEE-ACM
15 years 7 months ago
Software engineering tools and environments: a roadmap
Tools and environments to aid developers in producing software have existed, in one form or another, since the early days of computer programming. They are becoming increasingly c...
Harold Ossher, William H. Harrison, Peri L. Tarr