1818 search results - page 275 / 364 » Granularity-Adaptive Proof Presentation |
144
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents a new and retargetable method to identify patterns of instructions with direct support in coarsegrained processing elements (PEs). The method uses a three-addr...
117
Voted
ISCAS
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— MIMO channels and wireless communications systems have generated a great deal of renewed interest in linear system theory. This paper presents two results. The first i...
116
Voted
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
141
Voted
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
In Mizar, unlike in most other proof assistants, the types are not part of the foundations of the system. Mizar is based on untyped set theory, which means that in Mizar expression...
125
click to vote
WETICE
2007
IEEE
15 years 9 months ago
2007
IEEE
Several approaches have been made to establish a generic middleware for tangible user interfaces (TUI). They target toward the independence of application domains as well as flexi...