Sciweavers

3831 search results - page 367 / 767
» Dynamic Context Logic
Sort
View
ICS
2005
Tsinghua U.
16 years 4 days ago
Low-power, low-complexity instruction issue using compiler assistance
In an out-of-order issue processor, instructions are dynamically reordered and issued to function units in their dataready order rather than their original program order to achiev...
Madhavi Gopal Valluri, Lizy Kurian John, Kathryn S...
NDJFL
2000
74views more  NDJFL 2000»
15 years 6 months ago
Frege's New Science
In this paper, we explore Fregean metatheory, what Frege called the New Science. The New Science arises in the context of Frege's debate with Hilbert over independence proofs ...
Aldo Antonelli, Robert May
ICASSP
2008
IEEE
16 years 1 months ago
Referential semantic language modeling for data-poor domains
This paper describes a referential semantic language model that achieves accurate recognition in user-defined domains with no available domain-specific training corpora. This mo...
Stephen Wu, Lane Schwartz, William Schuler
XPU
2007
Springer
16 years 23 days ago
Multiple Perspectives on Executable Acceptance Test-Driven Development
This descriptive case study is about the dynamics of a software engineering team using executable acceptance test-driven development in a real world project. The experiences of a c...
Grigori Melnik, Frank Maurer
ACSD
2005
IEEE
114views Hardware» more  ACSD 2005»
16 years 8 days ago
Controlling Speculative Design Processes Using Rich Component Models
This paper elaborates on the application of some aspects of robust systems control theory to the management of uncertainty and risk in distributed and complex design processes, ha...
Werner Damm