Sciweavers

7139 search results - page 849 / 1428
» Language Engineering in Practice
Sort
View
EAAI
2010
107views more  EAAI 2010»
15 years 2 months ago
Honey bee social foraging algorithms for resource allocation: Theory and application
A model of honey bee social foraging is introduced to create an algorithm that solves a class of optimal resource allocation problems. We prove that if several such algorithms (&q...
Nicanor Quijano, Kevin M. Passino
IJWIN
2010
117views more  IJWIN 2010»
15 years 2 months ago
Channel Models for Medical Implant Communication
Information regarding the propagation media is typically gathered by conducting physical experiments, measuring and processing the corresponding data to obtain channel characterist...
Kamran Sayrafian-Pour, Wen-Bin Yang, John G. Haged...
TC
2010
15 years 1 months ago
Faster Interleaved Modular Multiplication Based on Barrett and Montgomery Reduction Methods
This paper proposes two improved interleaved modular multiplication algorithms based on Barrett and Montgomery modular reduction. The algorithms are simple and especially suitable ...
Miroslav Knezevic, Frederik Vercauteren, Ingrid Ve...
ECOOP
2009
Springer
16 years 7 months ago
Failboxes: Provably Safe Exception Handling
The primary goal of exception mechanisms is to help ensure that when an operation fails, code that depends on the operation's successful completion is not executed (a property...
Bart Jacobs 0002, Frank Piessens
POPL
2008
ACM
16 years 7 months ago
Multiparty asynchronous session types
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
Kohei Honda, Nobuko Yoshida, Marco Carbone