Sciweavers

7262 search results - page 378 / 1453
» Reversible Computer Hardware
Sort
View
IPPS
2007
IEEE
15 years 10 months ago
Speedup using Flowpaths for a Finite Difference Solution of a 3D Parabolic PDE
Partial differential equations (PDEs) are used to model physical phenomena and then appropriate convergent numerical algorithms are employed to solve them and create computer simu...
Darrin M. Hanna, Anna M. Spagnuolo, Michael DuChen...
DATE
1999
IEEE
92views Hardware» more  DATE 1999»
15 years 8 months ago
Efficient Techniques for Modeling Chip-Level Interconnect, Substrate and Package Parasitics
Modern IC design requires accurate analysis and modeling of chip-level interconnect, the substrate and package parasitics. Traditional approaches for such analyses are computation...
Peter Feldmann, Sharad Kapur, David E. Long
ETS
2000
IEEE
138views Hardware» more  ETS 2000»
15 years 3 months ago
An Agent Infrastructure to set Collaborative Environments
Collaborative learning supported through computers seems to be very promising, since advances in computational technology enable the widespread use of tools such as bulletin board...
Carlos José M. Olguín, Armando Luiz ...
ICC
2007
IEEE
193views Communications» more  ICC 2007»
15 years 10 months ago
A Semantic Context Model for Location-Based Cooperative Mobile Computing
—This paper addresses context issues in pervasive mobile computing and presents a semantic context model to support location based cooperative mobile applications. In this paper,...
Bin Hu, Philip Moore, Hsiai-Hwa Chen
AISC
1998
Springer
15 years 8 months ago
Reasoning About Coding Theory: The Benefits We Get from Computer Algebra
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
Clemens Ballarin, Lawrence C. Paulson