Sciweavers

7189 search results - page 1251 / 1438
» Connecting Design with Code
Sort
View
JSAC
2008
83views more  JSAC 2008»
15 years 4 months ago
Cross-layer adaptive routing and wavelength assignment in all-optical networks
Abstract-- In WDM all-optical networks where electrical regeneration is not available, physical impairments due to propagation in the fibers, amplifier noise, and leaks between cha...
Yvan Pointurier, Maïté Brandt-Pearce, ...
JCP
2006
120views more  JCP 2006»
15 years 4 months ago
Password-authenticated Key Exchange using Efficient MACs
Abstract-- This paper is concerned with passwordauthenticated key agreement protocols. Designing such protocols represents an interesting challenge since there is no standard way o...
Maurizio Adriano Strangio
EOR
2007
77views more  EOR 2007»
15 years 4 months ago
Solving the short-term electrical generation scheduling problem by an adaptive evolutionary approach
In this paper, we introduce an adaptive evolutionary approach to solve the short-term electrical generation scheduling problem (STEGS). The STEGS is a hard constraint satisfaction...
Jorge Maturana, María-Cristina Riff
LISP
2006
160views more  LISP 2006»
15 years 4 months ago
Formal compiler construction in a logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
Jason Hickey, Aleksey Nogin
NAR
2006
89views more  NAR 2006»
15 years 4 months ago
New Onto-Tools: Promoter-Express, nsSNPCounter and Onto-Translate
The Onto-Tools suite is composed of an annotation database and eight complementary, web-accessible data mining tools: Onto-Express, Onto-Compare, Onto-Design, Onto-Translate, Onto...
Purvesh Khatri, Valmik Desai, Adi L. Tarca, Sivaku...
« Prev « First page 1251 / 1438 Last » Next »