7195 search results - page 647 / 1439 » On Computing Power |
184
click to vote
DAC
2007
ACM
16 years 8 months ago
2007
ACM
The trend to multi-core chip designs presents new challenges for design automation, while the increased reuse of components may offer solutions. This paper describes some of the k...
197
click to vote
MDM
2007
Springer
16 years 1 months ago
2007
Springer
—In many existing location-based services, a service provider becomes aware of the location of its customers and can, maybe inadvertently, leak this information to unauthorized e...
180
click to vote
IAT
2003
IEEE
16 years 16 days ago
2003
IEEE
This paper presents MPIAB, an agent based architecture for parallel processing. The architecture is developed to model the functions of standard MPI using java agents. It remedies...
193
click to vote
SPIN
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
115
click to vote
IIE
2007
15 years 7 months ago
2007
A web application has been developed using the Microsoft .NET technology, which allows to use the Mathematica software from any personal computer connected to Internet. It is not n...