1342 search results - page 169 / 269 » Ordered Programs as Abductive Systems |
SAMOS
2009
Springer
14 years 3 months ago
2009
Springer
We believe that future many-core architectures should support a simple and scalable way to execute many threads that are generated by parallel programs. A good candidate to impleme...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— We consider a financial decision problem involving dynamic investment decisions on a single risky instrument over multiple and discrete time periods. Investment returns are as...
ACSC
2006
IEEE
14 years 2 months ago
2006
IEEE
The purpose of refactoring is to improve the quality of a software system by changing its internal design so that it is easier to understand or modify, or less prone to errors and...
ICSM
2006
IEEE
14 years 2 months ago
2006
IEEE
In the traditional software engineering courses, the students develop small programs from scratch. This does not correspond to industry practice where programmers spend most of th...
IISWC
2006
IEEE
14 years 2 months ago
2006
IEEE
—The rapid pace of change in 3D game technology makes workload characterization necessary for every game generation. Comparing to CPU characterization, far less quantitative info...