Sciweavers

3341 search results - page 61 / 669
» Managing a Large
Sort
View
INFOCOM
2002
IEEE
15 years 6 months ago
TCP Network Calculus: The case of large delay-bandwidth product
Abstract— We present in this paper an analytical model for the calculation of network load and drop probabilities in a TCP/IP network with general topology. First we formulate ou...
Eitan Altman, Konstantin Avrachenkov, Chadi Baraka...
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 5 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
SIGMOD
2010
ACM
310views Database» more  SIGMOD 2010»
15 years 5 months ago
The DataPath system: a data-centric analytic processing engine for large data warehouses
Since the 1970’s, database systems have been “compute-centric”. When a computation needs the data, it requests the data, and the data are pulled through the system. We belie...
Subi Arumugam, Alin Dobra, Christopher M. Jermaine...
CSCW
1992
ACM
15 years 5 months ago
CSCW Challenges in Large-Scale Technical Projects - A Case Study
This paper investigates CSCW aspects of large-scale technical projects based on a case study of a specific Danish engineering company and uncovers challenges to CSCW applications ...
Kaj Grønbæk, Morten Kyng, Preben Moge...
SWSTE
2010
IEEE
15 years 5 months ago
Agility in a Large-Scale System Engineering Project: A Case-Study of an Advanced Communication System Project
—In this paper we describe the application of the agile software development approach in system engineering projects. We describe the main characteristics of system projects, hig...
Amir Shatil, Orit Hazzan, Yael Dubinsky