Sciweavers

1652 search results - page 167 / 331
» Integration in Real PCF
Sort
View
ACSD
2006
IEEE
90views Hardware» more  ACSD 2006»
15 years 8 months ago
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model
Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in ...
Nicolas Halbwachs, Louis Mandel
AINA
2004
IEEE
15 years 8 months ago
A Web-Based Dual Mode Virtual Laboratory Supporting Cooperative Learning
This paper suggests the solution to build a Full Virtual Reality Learning Environment, and we have built both virtual and real laboratories on the web, in which students practice ...
Yu Lung Wu, Te Yi Chan, Bin Shyan Jong, Tsong Wuu ...
137
Voted
ANTS
2006
Springer
105views Algorithms» more  ANTS 2006»
15 years 8 months ago
A Modular Method for Computing the Splitting Field of a Polynomial
We provide a modular method for computing the splitting field Kf of an integral polynomial f by suitable use of the byproduct of computation of its Galois group Gf by p-adic Staudu...
Guénaël Renault, Kazuhiro Yokoyama
125
Voted
CODES
2004
IEEE
15 years 8 months ago
Multi-objective mapping for mesh-based NoC architectures
In this paper we present an approach to multi-objective exploration of the mapping space of a mesh-based network-on-chip architecture. Based on evolutionary computing techniques, ...
Giuseppe Ascia, Vincenzo Catania, Maurizio Palesi
ESWS
2006
Springer
15 years 8 months ago
Semantic Web Policies - A Discussion of Requirements and Research Issues
Policies are pervasive in web applications. They play crucial roles in enhancing security, privacy and usability of distributed services. There has been extensive research in the a...
Piero A. Bonatti, Claudiu Duma, Norbert E. Fuchs, ...