Sciweavers

5387 search results - page 314 / 1078
» Generating generic functions
Sort
View
PPDP
2004
Springer
16 years 6 hour ago
A lazy narrowing calculus for declarative constraint programming
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
Francisco Javier López-Fraguas, Mario Rodr&...
DATE
2003
IEEE
101views Hardware» more  DATE 2003»
15 years 12 months ago
Exploiting the Routing Flexibility for Energy/Performance Aware Mapping of Regular NoC Architectures
In this paper, we present an algorithm which automatically maps the IPs onto a generic regular Network on Chip (NoC) architecture and constructs a deadlock-free deterministic rout...
Jingcao Hu, Radu Marculescu
GCC
2003
Springer
15 years 12 months ago
Coarse-Grained Distributed Parallel Programming Interface for Grid Computing
Abstract. In this paper, a practical coarse-grained distributed parallel programming interface for grid computing (PI4GC) is introduced. des a group of generic and abstract functio...
Yongwei Wu, Qing Wang, Guangwen Yang, Weimin Zheng
176
Voted
ROBOCUP
2001
Springer
116views Robotics» more  ROBOCUP 2001»
15 years 11 months ago
Biter: A Platform for the Teaching and Research of Multiagent Systems' Design Using RoboCup
We introduce Biter, a platform for the teaching and research of multiagent systems’ design. Biter implements a client for the RoboCup simulator. It provides users with the basic ...
Paul A. Buhler, José M. Vidal
ASIACRYPT
2000
Springer
15 years 11 months ago
Security of Signed ElGamal Encryption
Assuming a cryptographically strong cyclic group G of prime order q and a random hash function H, we show that ElGamal encryption with an added Schnorr signature is secure against ...
Claus-Peter Schnorr, Markus Jakobsson