Cyberkinetics Inc. Foxboro, MA. [Online]. Available: http://www.cyberkineticsinc.com/ Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Virtual Clusters: Resource Mangement on Large Shared-Memory.. - Govil (2000) (Correct)
....with similar issues. 2.1 Operating system based approaches The operating system is the most obvious place to address issues raised by large multiprocessors as the problem arises mostly due to the lack of system software support. A number of projects, for example Stanford Hive [11] SGI IRIX [53], Compaq OpenVMS Galaxy [14] and IBM K42 [31] have followed this approach. The main advantage of addressing the problem at the operating system level is that the operating system has the best knowledge of application resource needs. There is a rich API (Application Programming Interface) that ....
....were never fully investigated in Hive. The Virtual Clusters approach avoids this complexity by addressing fault containment and scalable resource management in a small virtual machine monitor that is not burdened by the operating system s architecture. IRIX 6.4, and subsequently IRIX 6. 5, [53] were developed by SGI in 1996 and 1999, respectively, to run on the Origin 2000 systems. They addressed scalability bottlenecks, and IRIX is one of most scalable commercial operating system available today. However, SGI had to invest a huge development effort to make IRIX perform well on a large ....
SGI, Inc. IRIX6.5. Available: http://www.sgi.com/software/irix6.5, May 2000.
Modelling Parallel Oracle for Performance Prediction - al. (2003) (Correct)
.... technology and commercial interest in the use of parallel computers for running relational database systems has been growing [16] A number of parallel database systems running on different parallel machines have become available from vendors such as Oracle [18] Informix [14] Ingres [1] Sybase [19] and IBM [12] However, the cost of migrating to a parallel platform is high and the improvement in performance that can be achieved for individual applications on particular configurations is not easy to estimate. For this reason, there is growing interest in performance prediction tools, both ....
Sybase Inc., Sybase, available at http://www.sybase.com, 1998.
Query, Analysis, and Visualization of Hierarchically.. - Stolte, Tang, Hanrahan (Correct)
....navigating through and exploring data at di#erent levels of detail. However, the underlying hierarchical structure must be created by the analyst during the visualization process; Polaris leverages the hierarchical structure that is already encoded in the data warehouse. XmdvTool [25] Spotfire [20], and Xgobi [4] provide the analyst with a set of predefined visualizations such as scatterplots and parallel coordinates. These systems are augmented with extensive interaction techniques (e.g. brushing and zooming) that can be used to refine the queries. In contrast, we provide the analyst with ....
Spotfire Inc. [online] Available: http://www.spotfire.com, cited February 2002.
Animation and Model Checking of CSP and B using.. - Leuschel, Adhianto, .. (2001) (1 citation) (Correct)
....that it was not originally developed with the computer automation in mind, developing an interpreter for B specifications represents a considerable task in itself. Two initial attempts at the development of the parser compiler were undertaken using JavaCC (a general purpose compiler constructor [27]) and JavaLIL (a tool, developed internally in the department, for converting specifications written in Z or AMN notations into HOL or PVS representations [8] were not successful. The problems can be attributed in the case of JavaCC to the complexity of AMN grammar and in the second case to the ....
WebGain, Inc, 5425 Stevens Creek Blvd. Santa Clara, CA 95051, USA. JavaCC - The Java Parser Generator, 2001. Available at http://www.webgain.com/products/metamata/java doc.html. 11 A Translation from B to Prolog Small part of a B model to specify a safe Railway network. MACHINE Railway0 /* B Model of Railway network based on requirements document from MTI
Animation and Model Checking of CSP and B using.. - Leuschel, Adhianto, .. (2001) (1 citation) (Correct)
....that it was not originally developed with the computer automation in mind, developing an interpreter for B speci cations represents a considerable task in itself. Two initial attempts at the development of the parser compiler were undertaken using JavaCC (a general purpose compiler constructor [27]) and JavaLIL (a tool, developed internally in the department, for converting speci cations written in Z or AMN notations into HOL or PVS representations [8] were not successful. The problems can be attributed in the case of JavaCC to the complexity of AMN grammar and in the second case to the ....
WebGain, Inc, 5425 Stevens Creek Blvd. Santa Clara, CA 95051, USA. JavaCC - The Java Parser Generator, 2001. Available at http://www.webgain.com/products/metamata/java doc.html. 11 A Translation from B to Prolog Small part of a B model to specify a safe Railway network. MACHINE Railway0 /* B Model of Railway network based on requirements document from MTI
Cleanness Checking of String Manipulations in C Programs via .. - Dor, Rodeh, Sagiv (2001) (25 citations) (Correct)
....expression, then the instrumented program will abort on an assert statement, while the result of the original program is unde ned. The idea of instrumenting programs to dynamically check cleanness is not new. For example, SafeC [1] and [12] also instruments the C source with assertions. Purify [14] instruments the executable les. These tools instrument every physical bu er by extending it with additional information and checking this additional information at runtime. Our approach is to instrument the program, adding computations on new integer variables, but analyze them at compile time. ....
....to C. A total of 19 errors were detected with only four false alarms. See Table 3 and Section 4.3 for more information on the analysis results) 1. 2 Related Work Many academic and commercial projects aim at producing tools that detect string manipulation cleanness violations at runtime, e.g. [14, 1, 12]. Due to the overhead of runtime checking, these tools are usually not used in production. Moreover, their e ectiveness strongly depends on the input tested, and these checks do not assure against future bugs on di erent inputs. There are tools that directly identify cleanness violations leading ....
Rational Inc. Purify software. Available at \http://www.purify.com", 1995.
A Distributed Annotation System - Dowell (2001) (5 citations) (Correct)
....functionality though the WWW. Most of the biologically relevant databases provide web interfaces. The result is that users now utilize web browsers to access large up to date back end databases. Most databases also provide links to other relevant databases. For example, Proteome Inc. s WormPD [32] provides links to Wormbase, GenBank, the Protein Information Resource (PIR) 4] and Swiss Prot [3] when available. To visualize the annotations contained in these cross linked systems requires the user to manually integrate the available information. This limitation creates a barrier to ecient ....
Proteome Inc. WormPD, 1999. Available at: http://www.proteome.com/databases/index.html.
Inferring Attentional State and Kinematics from Motor.. - Frank Wood Prabhat (2005) (Correct)
No context found.
Cyberkinetics Inc. Foxboro, MA. [Online]. Available: http://www.cyberkineticsinc.com/
On the Variability of Manual Spike Sorting - Frank Wood Michael (2004) (Correct)
No context found.
Plexon Inc. Dallas, TX. [Online]. Available: http://www.plexoninc.com/OFS.htm
Modeling and Decoding Motor Cortical Activity.. - Wu, Black.. (2004) (Correct)
No context found.
Plexon Inc.. (2003), Dallas, TX. [Online] Available: http://www.plexoninc. com/ofs.htm.
The Future of Mobility : A Selection of Novel Commercial.. - Loke Kar Seng (Correct)
No context found.
Palm, Inc. Available http://www.palm.com/us/company/. Accessed 1 Aug 2003.
A Taxonomy of Data Grids for Distributed Data.. - Venugopal, Buyya.. (Correct)
No context found.
"IntelliDNS Inc." accessed Mar 2005. [Online]. Available: http://www.intellidns.com
A Taxonomy of Data Grids for Distributed Data.. - Venugopal, Buyya.. (Correct)
No context found.
"Speedera Inc." accessed Mar 2005. [Online]. Available: http://www.speedera.com
A Taxonomy of Data Grids for Distributed Data.. - Venugopal, Buyya.. (Correct)
No context found.
"Akamai Inc." accessed Mar 2005. [Online]. Available: http://www.akamai.com
Analysis of Web Caching Architectures: Hierarchical.. - Rodriguez, Spanner.. (2001) (13 citations) (Correct)
No context found.
Napster, Inc.. (2001). [Online]. Available: http://www.napster.com
Query, Analysis, and Visualization of Hierarchically.. - Stolte, Tang, Hanrahan (Correct)
No context found.
Spotfire Inc. [online] Available: http://www.spotfire.com, cited February 2002.
International Conference on Engineering Education August 6.. - Animations And Guis (2001) (Correct)
No context found.
Apple Computer, Inc., 1 Infinite Loop, Cupertino, CA, QuickTime, Available: http://www.quicktime.com [2001, May 21].
Mixing Querying and Navigation in MIX - Pratik Mukhopadhyay Yannis (Correct)
No context found.
Enosys Markets, Inc. The universal, real-time data integration platform, 2001. Available at http://www.enosysmarkets.com/solutions/ whitepaper/paper-form.html.
Global Modeling and Simulation of System-on-Chip.. - JUNEIDI, TORKI, Sergio (Correct)
No context found.
Coware, Inc., "N2C", available at http://www.coware.com/cowareN2C.html
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC