sign in · help · news · about ·

BibSonomy :: author :: Saksena ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(43)

<< < 1 | 2 | 3 > >>

Large scale computational science on federated international grids: The role of switched optical networks.
Peter V. Coveney, G. Giupponi, Shantenu Jha, Steven Manos, Jon MacLaren, Stephen Pickles, R. S. Saksena, Thomas Soddemann, James L. Suter, Mary-Ann Thyveetil, and Stefan J. Zasada Future Generation Comp. Syst. 26(1):99-110 (2010)
to dblp by dblp on Jan 27, 2012, 12:00 AM
URL | BibTeX
Real science at the petascale
Radhika S. Saksena, Bruce Boghosian, Luis Fazendeiro, Owain A. Kenway, Steven Manos, Marco D. Mazzeo, S. Kashif Sadiq, James L. Suter, David Wright, and Peter V. Coveney Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 367(1897):2557--2571 (2009)
to HemeLB by toevanen on Dec 13, 2011, 12:53 PM
URL | DOI | BibTeX
Performance Analysis of a LAN/WAN Bridging Architecture.
Manoel A. Rodrigues, and Vikram R. Saksena IEEE Journal on Selected Areas in Communications 9(2):265-270 (1991)
to dblp by dblp on Nov 8, 2011, 12:00 AM
URL | BibTeX
Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes.
Richard Gerber, Seongsoo Hong, and Manas Saksena IEEE Trans. Software Eng. 21(7):579-592 (1995)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
A Distributed Scheduling Algorithm for Real-Time Communication on Slotted Shared Medium.
Sarit Mukherjee, Debanjan Saha, Manas Saksena, and Satish K. Tripathi J. Parallel Distrib. Comput. 58(1):1-25 (1999)
to dblp by dblp on Sep 9, 2011, 12:00 AM
URL | BibTeX
Graph grammar modeling and verification of ad hoc routing protocols
Mayank Saksena, Oskar Wibling, and Bengt Jonsson Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems, page 18--32. Berlin, Heidelberg, Springer-Verlag, (2008)
to MANET modeling routing verification ad-hoc formal by msteele and 1 other user on Jul 15, 2011, 3:18 PM
URL | BibTeX
Regular Model Checking for LTLMSO.
Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, and Mayank Saksena CAV, volume 3114 of Lecture Notes in Computer Science, page 348-360. Springer, (2004)
to dblp by dblp and 1 other user on Jul 7, 2011, 12:00 AM
URL | BibTeX
Extending Aggregation Constructs in UML.
Minika Saksena, Maria M. Larrondo-Petrie, Robert B. France, and Matthew P. Evett UML, volume 1618 of Lecture Notes in Computer Science, page 435-441. Springer, (1998)
to dblp by dblp on Jun 17, 2011, 12:00 AM
URL | BibTeX
A Decomposition Approach to Non-Preemptive Real-Time Scheduling.
Xiaoping Yuan, Manas Saksena, and Ashok K. Agrawala Real-Time Systems 6(1):7-35 (1994)
to dblp by dblp on Jun 3, 2011, 12:00 AM
URL | BibTeX
A Survey of Regular Model Checking.
Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, and Mayank Saksena CONCUR, volume 3170 of Lecture Notes in Computer Science, page 35-48. Springer, (2004)
to dblp by dblp on Mar 30, 2011, 12:00 AM
URL | BibTeX
Simulations of large-scale WiFi-based wireless networks: Interdisciplinary challenges and applications.
Maziar Nekovee, and Radhika S. Saksena Future Generation Comp. Syst. 26(3):514-520 (2010)
to dblp by dblp on Jul 21, 2010, 3:44 PM
URL | BibTeX
Regular Model Checking for LTLMSO
Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d’Orso, and Mayank Saksena Computer Aided Verification (2004)
to distributed modelchecking regular by giuliano.losa and 1 other user on Nov 13, 2009, 6:25 PM
URL | BibTeX
Network conscious design of distributed real-time systems.
Jung Woo Park, Young Shin Kim, Seongsoo Hong, Manas Saksena, Sam H. Noh, and Wook Hyun Kwon Journal of Systems Architecture 45(2):131-156 (1998)
to dblp by dblp on Sep 15, 2009, 12:00 AM
URL | BibTeX
Dynamic ping optimization for surveillance in multistatic sonar buoy networks with energy constraints.
Anshu Saksena, and I-Jeng Wang CDC, page 1109-1114. IEEE, (2008)
to dblp by dblp on Jul 12, 2009, 12:00 AM
URL | BibTeX
Designing for schedulability: integrating schedulability analysis with object-oriented design.
Manas Saksena, and Panagiota Karvelas ECRTS, page 101-108. IEEE Computer Society, (2000)
to dblp by dblp on Dec 17, 2008, 12:00 AM
URL | BibTeX
Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols.
Mayank Saksena, Oskar Wibling, and Bengt Jonsson TACAS, volume 4963 of Lecture Notes in Computer Science, page 18-32. Springer, (2008)
to dblp by dblp and 1 other user on Apr 21, 2008, 12:00 AM
URL | BibTeX
The application hosting environment: Lightweight middleware for grid-based computational science.
Peter V. Coveney, R. S. Saksena, Stefan J. Zasada, M. McKeown, and Stephen Pickles Computer Physics Communications 176(6):406-418 (2007)
to dblp by dblp on Apr 3, 2008, 12:00 AM
URL | BibTeX
Facilitating User Access to the Grid: A Lightweight Application Hosting Environment for Grid Enabled Computational Science.
Stefan J. Zasada, R. S. Saksena, Peter V. Coveney, M. Mc Keown, and Stephen Pickles e-Science, page 50. IEEE Computer Society, (2006)
to dblp by dblp on Apr 3, 2008, 12:00 AM
URL | BibTeX
Distributed Inference for Network Localization Using Radio Interferometric Ranging.
Dennis Lucarelli, Anshu Saksena, Ryan Farrell, and I-Jeng Wang EWSN, volume 4913 of Lecture Notes in Computer Science, page 52-73. Springer, (2008)
to dblp by dblp on Jan 27, 2008, 12:00 AM
URL | BibTeX
Systematic Acceleration in Regular Model Checking.
Bengt Jonsson, and Mayank Saksena CAV, volume 4590 of Lecture Notes in Computer Science, page 131-144. Springer, (2007)
to dblp by dblp on Sep 3, 2007, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper