10916 search results - page 350 / 2184 » On Constructive Connectives and Systems |
194
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...
137
click to vote
CIE
2007
Springer
16 years 1 months ago
2007
Springer
The interest is in characterizing insightfully the power of program self-reference in effective programming systems (epses), the computability-theoretic analogs of programming lan...
164
click to vote
FCCM
1998
IEEE
15 years 11 months ago
1998
IEEE
JHDL is a design tool for reconfigurable systems that allows designers to express circuit organizations that dynamically change over time in a natural way, using only standard pro...
186
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Constructing presentations as stories is about presenting events that receive their relevance and meaning within the context of the presentation, and about means to define a well-...
195
click to vote
ICSE
1989
IEEE-ACM
15 years 11 months ago
1989
IEEE-ACM
The Inscape Environment is an integrated software development enviroment for building large software systems by large groups of developers. It provides tools that are knowledgeabl...