8874 search results - page 273 / 1775 » A New Implementation of Automath |
176
click to vote
ICWE
2005
Springer
16 years 6 days ago
2005
Springer
We present the design of a new web application framework for collaborative learning. The framework guides users (i.e. teachers) in implementing online activities based on well-know...
148
click to vote
EUROPAR
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. This paper addresses a new framework for designing and implementing skeleton libraries, in which each skeleton should not only be efficiently implemented as is usually d...
177
click to vote
HYBRID
2004
Springer
16 years 2 days ago
2004
Springer
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...
151
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
A new flexible parts feeding system has been designed and constructed at Case Western Reserve University. To complement the feeder, an object-oriented software architecture has be...
140
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
The IEEE 1149.6 standard was approved in March of 2003. The standard extends the capability of the IEEE 1149.1 standard to include AC-coupled and/or differential nets. These nets ...