Sciweavers

11797 search results - page 283 / 2360
» Recent Developments in the Experimental
Sort
View

Presentation
487views
17 years 4 months ago
Introduction to Optical Networking
A six-session course on Optical networking taught in 2002. These sessions covered the following topics: Fundamentals of Networking, Introduction to TCP/IP, Fundamentals of Op...
Raj Jain
CAV
2009
Springer
104views Hardware» more  CAV 2009»
16 years 7 months ago
SPEED: Symbolic Complexity Bound Analysis
The SPEED project addresses the problem of computing symbolic computational complexity bounds of procedures in terms of their inputs. We discuss some of the challenges that arise a...
Sumit Gulwani
EVOW
2009
Springer
16 years 1 months ago
Stochastic Local Search Techniques with Unimodal Continuous Distributions: A Survey
In continuous black-box optimization, various stochastic local search techniques are often employed, with various remedies for fighting the premature convergence. This paper surve...
Petr Posík
IAT
2007
IEEE
16 years 1 months ago
Introducing Collaborative Filtering into an Agent-Based Travel Support System
Our recent work is devoted to the development of an agent-based travel support system in which personalized information is delivered to the user. Thus far we have focused our atte...
Mateusz Kruszyk, Maria Ganzha, Maciej Gawinecki, M...
ICECCS
2007
IEEE
82views Hardware» more  ICECCS 2007»
16 years 1 months ago
Formalising Flash Memory: First Steps
We present first steps in the construction of formal models of NAND Flash memory, based on a recently emerged open standard for such devices. The model is at a level of abstracti...
Andrew Butterfield, Jim Woodcock