102291 search results - page 228 / 20459 » Computability in Computational Geometry |
224
click to vote
HPDC
1999
IEEE
15 years 11 months ago
1999
IEEE
We are developing a system for collaborative research and development for a distributed group of researchers at different institutions around the world. In a new paradigm for coll...
186
click to vote
FUIN
2007
15 years 6 months ago
2007
We show how properties of an interesting class of imperative programs can be calculated by means of relational modeling and symbolic computation. The ideas of [5, 26] are implement...
184
click to vote
ICDCSW
2005
IEEE
16 years 5 days ago
2005
IEEE
Displaying and navigating complex information on wearable computers is very different from accessing the same information while sitting at your desk. Limitations in hardware, scre...
189
click to vote
WSC
2001
15 years 8 months ago
2001
This paper describes the use of a particular type of computer simulator as a tool for teaching computer architecture. The Little Man Computer (LMC) paradigm was developed by Stuar...
134
click to vote
WOA
2003
15 years 8 months ago
2003
We envision a future in which clouds of microcomputers can be sprayed in an environment to provide, by spontaneously networking with each other, an endlessly range of futuristic a...